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

2022

  1. Combined sensitivity of JUNO and KM3NeT/ORCA to the neutrino mass ordering

    Journal of High Energy Physics, Vol. 2022, Núm. 3

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. Multi-messenger observations of a binary neutron star merger

    Astrophysical Journal Letters, Vol. 848, Núm. 2

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