Conflict analysis in search algorithms for propositional satisfiability (1996)

by Joso I Marques Silva
Venue:in Proceedings of the IEEE International Conference on Tools with Artificial Intelligence
Citations:49 - 2 self