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]
@inproceedings{BhallaLSM03:0,
title = {Heuristic Backtracking Algorithms for SAT},
author = {Ateet Bhalla and Inês Lynce and José T. de Sousa and João P. Marques Silva},
year = {2003},
url = {http://csdl.computer.org/comp/proceedings/mtv/2003/2045/00/20450069abs.htm},
researchr = {https://researchr.org/publication/BhallaLSM03%3A0},
cites = {0},
citedby = {0},
pages = {69-74},
booktitle = {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},
publisher = {IEEE Computer Society},
}