Quantified maximum satisfiability

TitleQuantified maximum satisfiability
Publication TypeJournal Article
Year of Publication2016
AuthorsIgnatiev, A., M. Janota, and J. Marques-Silva
JournalConstraints
Volume21
Pagination277–302