Biblio

Export 2 results:
Author [ Title(Desc)] Type Year
Filters: Author is Zhu, Zhu  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
M
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.
O
Z. Zhu, Li, C. Min, Manyi, F., and Simon, L., “Optimizing with Minimum Satisfiability”, Artificial Intelligence, vol. 190, pp. 32-44, 2012.