MCS Extraction with Sublinear Oracle Queries.

Carlos Menca, Alexey Ignatiev, Alessandro Previti, Joo Marques-Silva

Browse the full SAT paper archive.