Export 1 results:
Autor Títol Tipus [ Any(Asc)]
Filtres: Paraula Clau is Max-SAT and Autor is Zhu Zhu  [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.