Sign in

Query-guided maximum satisfiability.

Xin ZhangRavi MangalAditya V. NoriMayur Naik
Published in: POPL (2016)
Keyphrases
  • maximum satisfiability
  • query processing
  • relevance feedback
  • data structure
  • user queries
  • query expansion
  • boolean satisfiability
  • combinatorial problems