E.T.S. DE INGENIERÍAS INFORMÁTICA Y DE TELECOMUNICACIÓN
Facultad
University of Bordeaux
Burdeos, FranciaPublicaciones en colaboración con investigadores/as de University of Bordeaux (7)
2022
-
Combined sensitivity of JUNO and KM3NeT/ORCA to the neutrino mass ordering
Journal of High Energy Physics, Vol. 2022, Núm. 3
2019
-
A social network based approach for consensus achievement in multiperson decision making
Information Fusion, Vol. 47, pp. 72-87
-
Community structure in industrial SAT instances
Journal of Artificial Intelligence Research, Vol. 66, pp. 443-472
2018
-
Seeking practical CDCL insights from theoretical SAT benchmarks
IJCAI International Joint Conference on Artificial Intelligence
2017
-
Multi-messenger observations of a binary neutron star merger
Astrophysical Journal Letters, Vol. 848, Núm. 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
-
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)