Publicaciones en colaboración con investigadores/as de Universitat de Lleida (5)

2017

  1. Structure features for SAT instances classification

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

2015

  1. On the Classification of Industrial SAT Families

    Frontiers in Artificial Intelligence and Applications

  2. 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)