Publicaciones en colaboración con investigadores/as de University of Bordeaux (5)

2019

  1. A social network based approach for consensus achievement in multiperson decision making

    Information Fusion, Vol. 47, pp. 72-87

  2. Community structure in industrial SAT instances

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

2018

  1. Seeking practical CDCL insights from theoretical SAT benchmarks

    IJCAI International Joint Conference on Artificial Intelligence

2017

  1. On the community structure of bounded model checking SAT problems

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

2015

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