Biblio

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