"Structure-based satisfiability checkingAnalyzing and harnessing the potential."

Matti Järvisalo (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics