CIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL
Department
Tata Institute of Fundamental Research
Mumbai, IndiaPublications in collaboration with researchers from 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)