Export 1 results:
Autor Títol Tipus [ Any(Desc)]
Filtres: First Letter Of Title is U and 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.