Computing maximal autarkies with few and simple oracle queries

Oliver Kullmann, Joao Marques-Silva

We consider the algorithmic task of computing a maximal autarky for a clause-set F, i.e., a partial assignment which satisfies every clause of F it touches, and where this property…