Publicaciones en colaboración con investigadores/as de Universitat Politècnica de Catalunya (4)

2019

  1. Community structure in industrial SAT instances

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

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

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)