Foundations of hierarchical SAT solving (2004)

by Y Novikov, R Brinkmann
Venue:In Proceedings of International Workshop on Boolean Problems