1 paper
Oliver Kullmann, Ankit Shukla
Autarkies for SAT can be used for theoretical studies, pre-processing and inprocessing. They generalise satisfying assignments by allowing to leave some clauses "untouched" (no var…