Biblio

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