research
∙
03/07/2020
Classification of minimally unsatisfiable 2-CNFs
We consider minimally unsatisfiable 2-CNFs, i.e., minimally unsatisfiabl...
share
research
∙
07/25/2019
Introducing Autarkies for DQCNF
Autarkies for SAT can be used for theoretical studies, pre-processing an...
research
∙
09/12/2013
On SAT representations of XOR constraints
We study the representation of systems S of linear equations over the tw...
research
∙
04/29/2012