MCS extraction with sublinear oracle queries

TitleMCS extraction with sublinear oracle queries
Publication TypeConference Paper
Year of Publication2016
AuthorsMencía, C., A. Ignatiev, A. Previti, and J. Marques-Silva
Conference NameInternational Conference on Theory and Applications of Satisfiability Testing
PublisherSpringer