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

Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing -- SAT 2015 ◽

10.1007/978-3-319-24318-4_22 ◽

2015 ◽

pp. 299-306 ◽

Cited By ~ 6

Author(s):

Ravi Mangal ◽

Xin Zhang ◽

Aditya V. Nori ◽

Mayur Naik

Download Full-text