Djamal Habet, Lionel Paris, Belaid Benhamou. Consistent Neighborhood for the Satisfiability Problem. In 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), October 29-31, 2007, Patras, Greece, Volume 2. pages 497-501, IEEE Computer Society, 2007. [doi]