×

zbMATH — the first resource for mathematics

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.)
PDF BibTeX XML Cite
Full Text: DOI