Biblio

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Author is Manya, Felip  [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.