Extending GENET with lazy arc consistency (1998)

by P Stuckey, V Tam
Venue:IEEE Transactions on Systems, Man, and Cybernetics