Query-guided maximum satisfiability

DOI10.1145/2837614.2837658zbMath1347.68188OpenAlexW2272616495MaRDI QIDQ2828249

Mayur Naik, Xin Zhang, Aditya V. Nori, Ravi Mangal

Publication date: 24 October 2016

Published in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2837614.2837658

zbMATH Keywords

optimizationinformation retrievalprogram analysismaximum satisfiabilitypartial modelquery-guided approach

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Information storage and retrieval of data (68P20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Query-guided maximum satisfiability