"Variable and Clause Ordering in an FSA Approach to Propositional ..."

José M. Castaño, Rodrigo Castaño (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics