Buscar
Mostrar sólo los elementos en los que
Export 3 results:
Autor Título Tipo [ Año(Asc)]
Filtros: Autor is Laurent Simon  [Clear All Filters]
2015
Ansótegui C, Giráldez-Cru J, Levy J, Simon L.  2015.  Using Community Structure to Detect Relevant Learnt Clauses. Proc. of the 18th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'15.
2012
Li CMin, Zhu Z, Manyà F, Simon L.  2012.  Optimizing with minimum satisfiability. Artificial intelligence. 190:32-44.
2011
Li CMin, Zhu Z, Manyà F, Simon L.  2011.  Minimum Satisfiability and Its Applications. 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011. :605-610.