Extending GENET with lazy arc consistency (1998)

by P Stuckey, V Tam
Venue:IEEE Trans. Systems Man Cybernet