Biblio

Export 2 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is Z and Author is Zhu, Zhu  [Clear All Filters]
2012
Z. Zhu, Li, C. Min, Manyi, F., and Simon, L., Optimizing with Minimum Satisfiability, Artificial Intelligence, vol. 190, pp. 32-44, 2012.
2011
L. Simon, Li, C. Min, Manya, F., and Zhu, Z., Minimum Satisfiability and its Applications, in Proc. of International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain, 2011.