Jose Gutierrez, Amol Dattatraya Mali. Local Search for Incremental Satisfiability. In Hamid R. Arabnia, Youngsong Mun, editors, Proceedings of the International Conference on Artificial Intelligence, IC-AI 02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 3. pages 986-992, CSREA Press, 2002.
Abstract is missing.