CIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL
Departamento
Tata Institute of Fundamental Research
Mumbai, IndiaPublicaciones en colaboración con investigadores/as de Tata Institute of Fundamental Research (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)