Improving MCS Enumeration via Caching

TitleImproving MCS Enumeration via Caching
Publication TypeConference Paper
Year of Publication2017
AuthorsMarques-Silva, J.
Conference NameTheory and Applications of Satisfiability Testing–SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28–September 1, 2017, Proceedings
PublisherSpringer