Biblio

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