Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances. Mangal, R., Zhang, X., Naik, M., & Nori, A. V. In International Conference on Theory and Applications of Satisfiability Testing (SAT), September, 2015.
Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances [pdf]Paper  Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances [pptx]Slides  bibtex   

Downloads: 0