BibSLEIGH — autarki stem

Used together with:

Stem autarki$ (all stems)

SAT-2015-KullmannM #query: Computing Maximal Autarkies with Few and Simple Oracle Queries (OK, JMS), pp. 138–155.
SAT-2008-LiffitonS #satisfiability #set: Searching for Autarkies to Trim Unsatisfiable Clause Sets (MHL, KAS), pp. 182–195.
SAT-2001-Kullmann #on the #satisfiability: On the use of autarkies for satisfiability decision (OK), pp. 231–253.