Publicaciones en las que colabora con Jordi Levy (10)

2021

  1. Popularity-similarity random SAT formulas

    Artificial Intelligence, Vol. 299

2019

  1. Community structure in industrial SAT instances

    Journal of Artificial Intelligence Research, Vol. 66, pp. 443-472

2017

  1. Locality in random SAT instances

    IJCAI International Joint Conference on Artificial Intelligence

  2. Structure features for SAT instances classification

    Journal of Applied Logic, Vol. 23, pp. 27-39

2016

  1. Generating SAT instances with community structure

    Artificial Intelligence, Vol. 238, pp. 119-134

2015

  1. A modularity-based random SAT instances generator

    IJCAI International Joint Conference on Artificial Intelligence

  2. On the Classification of Industrial SAT Families

    Frontiers in Artificial Intelligence and Applications

  3. Using community structure to detect relevant learnt clauses

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2014

  1. The fractal dimension of SAT formulas

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2012

  1. The community structure of SAT formulas

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)