Publications

In Press

  • On Explaining Random Forests with SAT. Yacine Izza and Joao Marques-Silva. IJCAI
  • Reasoning-Based Learning of Interpretable ML Models. Alexey Ignatiev, Joao Marques-Silva, Nina Narodytska and Peter Stuckey. IJCAI
  • SAT-Based Rigorous Explanations for Decision Lists. Alexey Ignatiev and Joao Marques-Silva. SAT
  • Assessing Progress in SAT Solvers Through the Lens of Incremental SAT. Stepan Kochemazov, Alexey Ignatiev and Joao Marques-Silva. SAT

2021

2020

2019