On the use of autarkies for satisfiability decision Minimal Unsatisfiability and Autarkies Searching for Autarkies to Trim Unsatisfiable Clause Sets Searching for Autarkies to Trim Unsatisfiable Clause Sets Computing Maximal Autarkies with Few and Simple Oracle Queries Computing Maximal Autarkies with Few and Simple Oracle Queries A Short Note on Linear Autarkies, q-Horn Formulas and the Complexity Index Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency Constraint satisfaction problems in clausal form: Autarkies and minimal unsatisfiability Constraint satisfaction problems in clausal form: Autarkies, minimal unsatisfiability, and applications to hypergraph inequalities
