Heuristic Backtracking Algorithms for SAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Ateet Bhalla' in GoogleThis author has not been identified. Look up 'Inês Lynce' in GoogleThis author has not been identified. Look up 'José T. de Sousa' in GoogleThis author has not been identified. Look up 'João P. Marques Silva' in Google

runs on WebDSL