JESÚS
GIRÁLDEZ CRÚ
PROGRAMA JUAN DE LA CIERVA
![Foto de JESÚS](/img/nophoto.png)
![Foto de Tata Institute of Fundamental Research](/img/noimage_org.png)
Tata Institute of Fundamental Research
Mumbai, IndiaTata Institute of Fundamental Research-ko ikertzaileekin lankidetzan egindako argitalpenak (2)
2018
-
In between resolution and cutting planes: A study of proof systems for pseudo-boolean SAT solving
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Using combinatorial benchmarks to probe the reasoning power of pseudo-boolean solvers
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)