Boolean and Finite Domain Solvers Compared Using Self Referential Quizzes

Antonio J. Fernández, Patricia M. Hill. Boolean and Finite Domain Solvers Compared Using Self Referential Quizzes. In Moreno Falaschi, Marisa Navarro, Alberto Policriti, editors, 1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE 97, Grado, Italy, June 16-19, 1997. pages 533-544, 1997.

Abstract

Abstract is missing.