Biblio

Export 2 results:
Author Title [ Type(Desc)] Year
Filters: 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.