Query-guided maximum satisfiability.

Xin Zhang Ravi Mangal Aditya V. Nori Mayur Naik

Published in: POPL (2016)

Keyphrases

maximum satisfiability
query processing
relevance feedback
data structure
user queries
query expansion
boolean satisfiability
combinatorial problems