"Categorisation of Clauses in Conjunctive Normal Forms: Minimally ..."

Oliver Kullmann, Inês Lynce, João Marques-Silva (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics