Zhang, Xin; Mangal, Ravi; Nori, Aditya V.; Naik, Mayur Query-guided maximum satisfiability. (English) Zbl 1347.68188 Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 109-122 (2016). MSC: 68Q25 Analysis of algorithms and problem complexity 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 68P20 Information storage and retrieval of data 68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) Keywords:information retrieval; maximum satisfiability; optimization; partial model; program analysis; query-guided approach PDF BibTeX XML Cite \textit{X. Zhang} et al., in: Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '16, St. Petersburg, FL, USA, January 20--22, 2016. New York, NY: Association for Computing Machinery (ACM). 109--122 (2016; Zbl 1347.68188) Full Text: DOI