Optimal Search for Conjunctive using Constraints. - Jeremy Ellman; Giancarlo Mezzanatto (AI*IA, 1991)