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. Paper 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
{"_id":"928EnSRQrCJDwATzq","bibbaseid":"mangal-zhang-naik-nori-voltalazygroundingframeworkforsolvingverylargemaxsatinstances-2015","downloads":0,"creationDate":"2018-07-24T11:08:02.361Z","title":"Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances","author_short":["Mangal, R.","Zhang, X.","Naik, M.","Nori, A. V."],"year":2015,"bibtype":"inproceedings","biburl":"https://www.cis.upenn.edu/~mhnaik/pubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ravi"],"propositions":[],"lastnames":["Mangal"],"suffixes":[]},{"firstnames":["Xin"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]},{"firstnames":["Mayur"],"propositions":[],"lastnames":["Naik"],"suffixes":[]},{"firstnames":["Aditya","V."],"propositions":[],"lastnames":["Nori"],"suffixes":[]}],"title":"Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances","booktitle":"International Conference on Theory and Applications of Satisfiability Testing (SAT)","month":"September","year":"2015","url_paper":"papers/sat15.pdf","url_slides":"slides/sat15.pptx","kind":"Conference Papers","bibtex":"@inproceedings{sat15,\n author = {Ravi Mangal and Xin Zhang and Mayur Naik and Aditya V. Nori},\n title = {Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances},\n booktitle = {International Conference on Theory and Applications of Satisfiability Testing (SAT)},\n month = sep,\n year = 2015,\n url_Paper = {papers/sat15.pdf},\n url_Slides = {slides/sat15.pptx},\n kind = \"Conference Papers\",\n}\n\n","author_short":["Mangal, R.","Zhang, X.","Naik, M.","Nori, A. V."],"key":"sat15","id":"sat15","bibbaseid":"mangal-zhang-naik-nori-voltalazygroundingframeworkforsolvingverylargemaxsatinstances-2015","role":"author","urls":{" paper":"https://www.cis.upenn.edu/~mhnaik/papers/sat15.pdf"," slides":"https://www.cis.upenn.edu/~mhnaik/slides/sat15.pptx"},"downloads":0},"search_terms":["volt","lazy","grounding","framework","solving","very","large","maxsat","instances","mangal","zhang","naik","nori"],"keywords":[],"authorIDs":[],"dataSources":["LSKsoTuW2dY5ZcqZF"]}