Using a theorem prover for reasoning on constraint problems, in (2005)

by M Cadoli, T Mancini
Venue:Proceedings of the Ninth Conference of the Italian Association for Artificial Intelligence (AI*IA 2005