Improving MCS enumeration via caching

DOI10.1007/978-3-319-66263-3_12zbMath1496.68258OpenAlexW2745121780MaRDI QIDQ1680254

Carlos Mencía, Matti Järvisalo, Alessandro Previti, João P. Marques-Silva

Publication date: 15 November 2017

Full work available at URL: http://hdl.handle.net/10138/309055

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)

Related Items

Exact and approximate determination of the Pareto front using minimal correction subsets

Uses Software

• MiniSat
• Chaff
• sharpSAT