Publicaciones en colaboración con investigadores/as de Tata Institute of Fundamental Research (2)

2018

  1. 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)

  2. 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)