Matthew D. T. Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia. Parallel QBF Solving with Advanced Knowledge Sharing. Fundamenta Informaticae, 107(2-3):139-166, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.