In this paper1 we investigate the effect of adding a failed literal detection method to the traditional unit clause propagation method in the look-ahead component of a modern SAT solver. Our investigation points out that, in all the SAT instances that we have tried, failed literal detection is bound to be ineffective, even assuming it has no overhead. © Springer-Verlag 2003.
CITATION STYLE
Giunchiglia, E., Maratea, M., & Tacchella, A. (2003). (In)Effectiveness of look-ahead techniques in a modern SAT solver. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2833, 842–846. https://doi.org/10.1007/978-3-540-45193-8_64
Mendeley helps you to discover research relevant for your work.