Export 4 results:
Autor Título [ Tipo(Desc)] Año
Filtros: Autor is Zhu Zhu  [Clear All Filters]
Conference Paper
Zhu Z, Li CMin, Manyà F, Argerlich J..  2012.  A New Encoding from MinSAT into MaxSAT. CP 2012. :455-463.
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.
Li CMin, Zhu Z, Manyà F, Simon L.  2011.  Minimum Satisfiability and Its Applications. 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011. :605-610.
Journal Article
Li CMin, Zhu Z, Manyà F, Simon L.  2012.  Optimizing with minimum satisfiability. Artificial intelligence. 190:32-44.