CIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL
Departament
Tata Institute of Fundamental Research
Mumbai, IndiaPublicacions en col·laboració amb investigadors/es 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)