PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing.

Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia

Browse the full SAT paper archive.