Heuristic Backtracking Algorithms for SAT

Ateet Bhalla, Inês Lynce, José T. de Sousa, João P. Marques Silva. Heuristic Backtracking Algorithms for SAT. In Fourth International Workshop on Microprocessor Test and Verification, Common Challenges and Solutions (MTV 2003), May 29-30, 2003, Hyatt Town Lake Hotel, Austin, Texas, USA. pages 69-74, IEEE Computer Society, 2003. [doi]

Abstract

Abstract is missing.