Login / Signup
Maximum Satisfiability Using Cores and Correction Sets.
Nikolaj Bjørner
Nina Narodytska
Published in:
IJCAI (2015)
Keyphrases
</>
maximum satisfiability
boolean satisfiability
max sat