Biblio

Export 2 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Last Name is Z and Author is Zhu, Zhu  [Clear All Filters]
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.
2012
Z. Zhu, Li, C. Min, Manyi, F., and Simon, L., Optimizing with Minimum Satisfiability, Artificial Intelligence, vol. 190, pp. 32-44, 2012.