Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is Min-SAT  [Clear All Filters]
2010
Li CMin, Manyà F, Quan Z, Zhu Z.  2010.  Exact MinSAT Solving. International Conference on Theory and Applications of Satisfiability Testing (SAT). 6175:363-368.