The impact of branching heuristics in propositional satisfiability algorithms (1999)

by J P M Silva
Venue:In Proceedings of the 9th Portuguese Conference on Artificial Intelligence (EPIA