Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances. Mangal, R.; Zhang, X.; Naik, M.; and 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   
@inproceedings{sat15,
  author     = {Ravi Mangal and Xin Zhang and Mayur Naik and Aditya V. Nori},
  title      = {Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances},
  booktitle  = {International Conference on Theory and Applications of Satisfiability Testing (SAT)},
  month      = sep,
  year       = 2015,
  url_Paper  = {papers/sat15.pdf},
  url_Slides = {slides/sat15.pptx},
  kind       = "Conference Papers",
}
Downloads: 0