Export 1 results:
Autor Título Tipo [ Año(Asc)]
Filtros: First Letter Of Last Name is Q and Autor is Zhe Quan  [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.