Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances

DOI10.1007/978-3-319-24318-4_22zbMath1471.68253OpenAlexW2284951589MaRDI QIDQ3453234

Ravi Mangal, Xin Zhang, Mayur Naik, Aditya V. Nori

Publication date: 20 November 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24318-4_22

Mathematics Subject Classification ID

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

Uses Software

• DaCapo
• Alchemy
• VOLT
• MaxHS
• MiFuMax
• Tuffy
• RockIt
• CCLS

Cites Work

• Complexity results for classes of quantificational formulas
• CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability
• Cores in Core Based MaxSat Algorithms: An Analysis
• Counterexample-guided abstraction refinement for symbolic model checking

This page was built for publication: Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances