2021

  1. Explanations for Monotonic Classifiers J. Marques-Silva, T. Gerspacher, M. C. Cooper, A. Ignatiev, and N. Narodytska 38th International Conference on Machine Learning (ICML 2021), 2021 [Abs] [arXiv]
  2. Learning Optimal Decision Sets and Lists with SAT Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, and Pierre Le Bodic Journal of Artificial Intelligence Research, vol. xx, pp. xxx–xxx, 2021 [Abs]
  3. SAT-Based Rigorous Explanations for Decision Lists Alexey Ignatiev and Joao Marques-Silva 24th International Conference on Theory and Applications of Satisfiability Testing (SAT 2021), 2021 [Abs] [arXiv] [PDF] [Code]
  4. Assessing Progress in SAT Solvers Through the Lens of Incremental SAT Stepan Kochemazov, Alexey Ignatiev, and Joao Marques-Silva 24th International Conference on Theory and Applications of Satisfiability Testing (SAT 2021), 2021 [Abs] [PDF] [Code]
  5. Reasoning-Based Learning of Interpretable ML Models Alexey Ignatiev, Joao Marques-Silva, Nina Narodytska, and Peter J. Stuckey 30th International Joint Conference on Artificial Intelligence (IJCAI 2021), 2021 [Abs] [PDF]
  6. Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification G. Cabodi, P. E. Camurati, A. Ignatiev, J. Marques-Silva, M. Palena, and P. Pasini Design, Automation and Test in Europe Conference (DATE 2021), 2021 [Abs] [PDF]
  7. A Scalable Two Stage Approach to Computing Optimal Decision Sets Alexey Ignatiev, Edward Lam, Peter J. Stuckey, and Joao Marques-Silva 34th AAAI Conference on Artificial Intelligence (AAAI 2021), 2021 [Abs] [arXiv] [PDF] [Poster] [Slides] [Code]

2020

  1. Branch Location Problems with Maximum Satisfiability Oleg Zaikin, Alexey Ignatiev, and Joao Marques-Silva 24th European Conference on Artificial Intelligence (ECAI 2020), pp. 379–386, 2020 [Abs] [HTML] [PDF]
  2. Optimal Decision Lists using SAT Jinqiang Yu, Alexey Ignatiev, Pierre Le Bodic, and Peter J. Stuckey CoRR abs/2010.09919, 2020 [Abs] [HTML]
  3. On Explaining Decision Trees Yacine Izza, Alexey Ignatiev, and Joao Marques-Silva CoRR abs/2010.11034, 2020 [Abs] [HTML]
  4. On Relating ‘Why?’ and ‘Why Not?’ Explanations Alexey Ignatiev, Nina Narodytska, Nicholas Asher, and Joao Marques-Silva CoRR abs/2012.11067, 2020 [Abs] [HTML]
  5. Towards Formal Fairness in Machine Learning A. Ignatiev, M. C. Cooper, M. Siala, E. Hebrard, and J. Marques-Silva 26th International Conference on Principles and Practice of Constraint Programming (CP 2020) Lecture Notes in Computer Science, vol. 12333, pp. 846–867, 2020 [Abs] [arXiv] [HTML] [PDF]
  6. Computing Optimal Decision Sets with SAT Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, and Pierre Le Bodic 26th International Conference on Principles and Practice of Constraint Programming (CP 2020) Lecture Notes in Computer Science, vol. 12333, pp. 952–970, 2020 [Abs] [arXiv] [HTML] [PDF]
  7. Towards Trustable Explainable AI Alexey Ignatiev 29th International Joint Conference on Artificial Intelligence (IJCAI 2020), pp. 5154–5158, 2020 [Abs] [HTML] [PDF] [Poster] [Slides]
  8. Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay J. Marques-Silva, T. Gerspacher, M. C. Cooper, A. Ignatiev, and N. Narodytska 34th Conference on Neural Information Processing Systems (NeurIPS 2020), 2020 [Abs] [arXiv] [HTML] [PDF] [Code]

2019

  1. RC2: An Efficient MaxSAT Solver Alexey Ignatiev, Antonio Morgado, and Joao Marques-Silva Journal on Satisfiability, Boolean Modeling and Computation, vol. 11, pp. 53–64, 2019 [Abs] [HTML] [PDF] [Code]
  2. Abduction-Based Explanations for Machine Learning Models Alexey Ignatiev, Nina Narodytska, and Joao Marques-Silva 33rd AAAI Conference on Artificial Intelligence (AAAI 2019), pp. 1511–1519, 2019 [Abs] [arXiv] [HTML] [PDF] [Slides]
  3. Model-Based Diagnosis with Multiple Observations Alexey Ignatiev, Antonio Morgado, Georg Weissenbacher, and Joao Marques-Silva 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), pp. 1108–1115, 2019 [Abs] [HTML] [PDF] [Slides] [Code]
  4. Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference I. Zakirzyanov, A. Morgado, A. Ignatiev, V. Ulyantsev, and J. Marques-Silva 21st International Conference on Theory and Applications of Satisfiability Testing (LATA 2019) Lecture Notes in Computer Science, vol. 11417, pp. 159–173, 2019 [Abs] [HTML] [PDF]
  5. On Computing the Union of MUSes Carlos Mencia, Oliver Kullmann, Alexey Ignatiev, and Joao Marques-Silva 22nd International Conference on Theory and Applications of Satisfiability Testing (SAT 2019) Lecture Notes in Computer Science, vol. 11628, pp. 211–221, 2019 [Abs] [HTML] [PDF]
  6. DRMaxSAT with MaxHS: First Contact Antonio Morgado, Alexey Ignatiev, Maria Luisa Bonet, Joao Marques-Silva, and Sam Buss 22nd International Conference on Theory and Applications of Satisfiability Testing (SAT 2019) Lecture Notes in Computer Science, vol. 11628, pp. 239–249, 2019 [Abs] [HTML] [PDF]
  7. Assessing Heuristic Machine Learning Explanations with Model Counting Nina Narodytska, Aditya Shrotri, Kuldeep S. Meel, Alexey Ignatiev, and Joao Marques-Silva 22nd International Conference on Theory and Applications of Satisfiability Testing (SAT 2019) Lecture Notes in Computer Science, vol. 11628, pp. 267–278, 2019 [Abs] [HTML] [PDF]
  8. On Validating, Repairing and Refining Heuristic ML Explanations Alexey Ignatiev, Nina Narodytska, and Joao Marques-Silva CoRR abs/1907.02509, 2019 [Abs] [HTML] [Code]
  9. On Relating Explanations and Adversarial Examples Alexey Ignatiev, Nina Narodytska, and Joao Marques-Silva 33rd Conference on Neural Information Processing Systems (NeurIPS 2019), pp. 15857–15867, 2019 [Abs] [HTML] [PDF] [Poster] [Code]

2018

  1. MaxSAT Resolution With the Dual Rail Encoding Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, Joao Marques-Silva, and Antonio Morgado 32nd AAAI Conference on Artificial Intelligence (AAAI 2018), pp. 6565–6572, 2018 [Abs] [HTML] [PDF]
  2. On Cryptographic Attacks Using Backdoors for SAT A. Semenov, O. Zaikin, I. Otpuschennikov, S. Kochemazov, and A. Ignatiev 32nd AAAI Conference on Artificial Intelligence (AAAI 2018), pp. 6641–6648, 2018 [Abs] [arXiv] [HTML] [PDF]
  3. A SAT-Based Approach to Learn Explainable Decision Sets Alexey Ignatiev, Filipe Pereira, Nina Narodytska, and Joao Marques-Silva 9th International Joint Conference on Automated Reasoning (IJCAR 2018) Lecture Notes in Computer Science, vol. 10900, pp. 627–645, 2018 [Abs] [HTML] [PDF]
  4. Learning Optimal Decision Trees with SAT Nina Narodytska, Alexey Ignatiev, Filipe Pereira, and Joao Marques-Silva 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), pp. 1362–1368, 2018 [Abs] [HTML] [PDF]
  5. PySAT: A Python Toolkit for Prototyping with SAT Oracles Alexey Ignatiev, Antonio Morgado, and Joao Marques-Silva 21st International Conference on Theory and Applications of Satisfiability Testing (SAT 2018) Lecture Notes in Computer Science, vol. 10929, pp. 428–437, 2018 [Abs] [HTML] [PDF] [Code]

2017

  1. Debugging EL+ Ontologies through Horn MUS Enumeration Alexey Ignatiev, Joao Marques-Silva, Carlos Mencia, and Rafael Peñaloza 30th International Workshop on Description Logics (DL 2017) CEUR Workshop Proceedings, vol. 1879, 2017 [Abs] [HTML] [PDF]
  2. Horn Maximum Satisfiability: Reductions, Algorithms and Applications Joao Marques-Silva, Alexey Ignatiev, and Antonio Morgado 18th EPIA Conference on Artificial Intelligence (EPIA 2017) Lecture Notes in Computer Science, vol. 10423, pp. 681–694, 2017 [Abs] [arXiv] [HTML] [PDF]
  3. Lean Kernels in Description Logics Rafael Peñaloza, Carlos Mencia, Alexey Ignatiev, and Joao Marques-Silva 14th European Semantic Web Conference (ESWC 2017) Lecture Notes in Computer Science, vol. 10249, pp. 518–533, 2017 [Abs] [HTML] [PDF]
  4. On Computing Generalized Backbones Alessandro Previti, Alexey Ignatiev, Matti Järvisalo, and Joao Marques-Silva 29th International Conference on Tools with Artificial Intelligence (ICTAI 2017), pp. 1050–1056, 2017 [Abs] [HTML] [PDF]
  5. Cardinality Encodings for Graph Optimization Problems Alexey Ignatiev, Antonio Morgado, and Joao Marques-Silva 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), pp. 652–658, 2017 [Abs] [HTML] [PDF] [Slides]
  6. On Tackling the Limits of Resolution in SAT Solving Alexey Ignatiev, Antonio Morgado, and Joao Marques-Silva 20th International Conference on Theory and Applications of Satisfiability Testing (SAT 2017) Lecture Notes in Computer Science, vol. 10491, pp. 164–183, 2017 [Abs] [arXiv] [HTML] [PDF] [Slides]

2016

  1. BEACON: An Efficient SAT-Based Tool for Debugging EL+ Ontologies M. F. Arif, C. Mencia, A. Ignatiev, N. Manthey, R. Peñaloza, and J. Marques-Silva 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016) Lecture Notes in Computer Science, vol. 9710, pp. 521–530, 2016 [Abs] [HTML] [PDF]
  2. Quantified maximum satisfiability Alexey Ignatiev, Mikolas Janota, and Joao Marques-Silva Constraints, vol. 21(2), pp. 277–302, 2016 [Abs] [HTML] [PDF]
  3. On Finding Minimum Satisfying Assignments Alexey Ignatiev, Alessandro Previti, and Joao Marques-Silva 22nd International Conference on Principles and Practice of Constraint Programming (CP 2016) Lecture Notes in Computer Science, vol. 9892, pp. 287–297, 2016 [Abs] [HTML] [PDF] [Slides]
  4. On Incremental Core-Guided MaxSAT Solving Xujie Si, Xin Zhang, Vasco Manquinho, Mikolas Janota, Alexey Ignatiev, and Mayur Naik 22nd International Conference on Principles and Practice of Constraint Programming (CP 2016) Lecture Notes in Computer Science, vol. 9892, pp. 473–482, 2016 [Abs] [HTML] [PDF] [Slides]
  5. Propositional Abduction with Implicit Hitting Sets Alexey Ignatiev, Antonio Morgado, and Joao Marques-Silva 22nd European Conference on Artificial Intelligence (ECAI 2016) Frontiers in Artificial Intelligence and Applications, vol. 285, pp. 1327–1335, 2016 [Abs] [arXiv] [HTML] [PDF]
  6. Efficient Reasoning for Inconsistent Horn Formulae Joao Marques-Silva, Alexey Ignatiev, Carlos Mencia, and Rafael Peñaloza 15th European Conference On Logics In Artificial Intelligence (JELIA 2016) Lecture Notes in Computer Science, vol. 10021, pp. 336–352, 2016 [Abs] [HTML] [PDF]
  7. MCS Extraction with Sublinear Oracle Queries Carlos Mencia, Alexey Ignatiev, Alessandro Previti, and Joao Marques-Silva 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016) Lecture Notes in Computer Science, vol. 9710, pp. 342–360, 2016 [Abs] [HTML] [PDF]
  8. Maximal falsifiability Alexey Ignatiev, Antonio Morgado, Jordi Planes, and Joao Marques-Silva AI Commun., vol. 29(2), pp. 351–370, 2016 [Abs] [HTML] [PDF]

2015

  1. Smallest MUS Extraction with Minimal Hitting Set Dualization Alexey Ignatiev, Alessandro Previti, Mark H. Liffiton, and Joao Marques-Silva 21st International Conference on Principles and Practice of Constraint Programming (CP 2015) Lecture Notes in Computer Science, vol. 9255, pp. 173–182, 2015 [Abs] [HTML] [PDF]
  2. Efficient Model Based Diagnosis with Maximum Satisfiability Joao Marques-Silva, Mikolas Janota, Alexey Ignatiev, and Antonio Morgado 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), pp. 1966–1972, 2015 [Abs] [HTML] [PDF] [Slides]
  3. Prime Compilation of Non-Clausal Formulae Alessandro Previti, Alexey Ignatiev, Antonio Morgado, and Joao Marques-Silva 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), pp. 1980–1988, 2015 [Abs] [HTML] [PDF]
  4. SAT-Based Formula Simplification Alexey Ignatiev, Alessandro Previti, and Joao Marques-Silva 18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015) Lecture Notes in Computer Science, vol. 9340, pp. 287–298, 2015 [Abs] [HTML] [PDF]

2014

  1. MSCG: Robust Core-Guided MaxSAT Solving Antonio Morgado, Alexey Ignatiev, and Joao Marques-Silva Journal on Satisfiability, Boolean Modeling and Computation, vol. 9, pp. 129–134, 2014 [Abs] [HTML] [PDF]
  2. Progression in Maximum Satisfiability Alexey Ignatiev, Antonio Morgado, Vasco Manquinho, Inês Lynce, and Joao Marques-Silva 21st European Conference on Artificial Intelligence (ECAI 2014) Frontiers in Artificial Intelligence and Applications, vol. 263, pp. 453–458, 2014 [Abs] [HTML] [PDF]
  3. Efficient Autarkies Joao Marques-Silva, Alexey Ignatiev, Antonio Morgado, Vasco Manquinho, and Inês Lynce 21st European Conference on Artificial Intelligence (ECAI 2014) Frontiers in Artificial Intelligence and Applications, vol. 263, pp. 603–608, 2014 [Abs] [HTML] [PDF]
  4. Towards efficient optimization in package management systems Alexey Ignatiev, Mikolas Janota, and Joao Marques-Silva 36th International Conference on Software Engineering (ICSE 2014), pp. 745–755, 2014 [Abs] [HTML] [PDF] [Slides]
  5. On Reducing Maximum Independent Set to Minimum Satisfiability Alexey Ignatiev, Antonio Morgado, and Joao Marques-Silva 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014) Lecture Notes in Computer Science, vol. 8561, pp. 103–120, 2014 [Abs] [HTML] [PDF] [Slides]

2013

  1. Maximal Falsifiability: Definitions, Algorithms, and Applications Alexey Ignatiev, Antonio Morgado, Jordi Planes, and Joao Marques-Silva 19th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2013) Lecture Notes in Computer Science, vol. 8312, pp. 439–456, 2013 [Abs] [HTML] [PDF] [Slides]
  2. Quantified Maximum Satisfiability: A Core-Guided Approach Alexey Ignatiev, Mikolas Janota, and Joao Marques-Silva 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013) Lecture Notes in Computer Science, vol. 7962, pp. 250–266, 2013 [Abs] [HTML] [PDF] [Slides]

2011

  1. DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions Alexey Ignatiev and Alexander A. Semenov 14th International Conference on Theory and Applications of Satisfiability Testing (SAT 2011) Lecture Notes in Computer Science, vol. 6695, pp. 76–89, 2011 [Abs] [HTML] [PDF] [Slides]