We consider minimally unsatisfiable 2-CNFs, i.e., minimally unsatisfiabl...
Autarkies for SAT can be used for theoretical studies, pre-processing an...
We study the representation of systems S of linear equations over the
tw...
We introduce two hierarchies of clause-sets, SLUR_k and UC_k, based on t...
share