21st SAT 2018: Oxford, UK

Refine list

showing all ?? records

Invited Talk

Maximum Satisfiability

Conflict Driven Clause Learning

Model Counting

Quantified Boolean Formulae

Theory

Minimally Unsatisfiable Sets

Satisfiability Modulo Theories

Tools and Applications

a service of  Schloss Dagstuhl - Leibniz Center for Informatics