Query-guided maximum satisfiability

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 11, 2016
Source ID
10.1145/2837614.2837658

Entities

People

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

Organizations

  • Defense Advanced Research Projects Agency
  • Georgia Tech
  • Microsoft
  • National Science Foundation