Consistent Neighborhood for the Satisfiability Problem.

Djamal Habet, Lionel Paris, Belaid Benhamou

Browse the full ICTAI paper archive.