Ramón Béjar Alba Cabiscol Cèsar Fernández Felip Manyà Carla P. Gomes Capturing Structure with Satisfiability. 137-152 2001 conf/cp/2001 CP http://link.springer.de/link/service/series/0558/bibs/2239/22390137.htm db/conf/cp/cp2001.html#BejarCFMG01