Export 28 results:
Author Title [ Type(Desc)] Year
Filters: Author is Laurent Simon  [Clear All Filters]
Journal Article
M. Jarvisalo, Le Berre, D., Roussel, O., and Simon, L., The International SAT Solver Competition, Artificial Intelligence Magazine, vol. 33, 2012.
Z. Zhu, Li, C. Min, Manyi, F., and Simon, L., Optimizing with Minimum Satisfiability, Artificial Intelligence, vol. 190, pp. 32-44, 2012.