Alexey Ignatiev
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
59
Venues
16
Active years
2011–2026
Best venue rank
A*
Where they publish
Papers
59 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Consistency-Based Software Diagnosis: Accuracy, Scalability, and Limitations. | Sarah Sallinger, Lukas Graussam, Georg Weissenbacher, Florian Zuleger, Alexey Ignatiev |
| 2026 | CP | Efficient Explanations for Rule Ensembles. | Hao Hu, Alexey Ignatiev, Joo Marques-Silva |
| 2025 | CP | Towards Modern and Modular SAT for LCG (Short Paper). | Jip J. Dekker, Alexey Ignatiev, Peter J. Stuckey, Allen Z. Zhong |
| 2025 | IJCAI | Most General Explanations of Tree Ensembles. | Yacine Izza, Alexey Ignatiev, Sasha Rubin, Joo Marques-Silva, Peter J. Stuckey |
| 2024 | AAAI | Delivering Inflated Explanations. | Yacine Izza, Alexey Ignatiev, Peter J. Stuckey, Joo Marques-Silva |
| 2024 | KR | Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation. | Yacine Izza, Xuanxiang Huang, Antnio Morgado, Jordi Planes, Alexey Ignatiev, Joo Marques-Silva |
| 2024 | SAT | Towards Universally Accessible SAT Technology. | Alexey Ignatiev, Zi Li Tan, Christos Karamanos |
| 2024 | SAT | Anytime Approximate Formal Feature Attribution. | Jinqiang Yu, Graham Farr, Alexey Ignatiev, Peter J. Stuckey |
| 2023 | AAAI | Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations. | Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, Joo Marques-Silva |
| 2023 | CP | From Formal Boosted Tree Explanations to Interpretable Rule Sets. | Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey |
| 2023 | IJCAI | On Tackling Explanation Redundancy in Decision Trees (Extended Abstract). | Yacine Izza, Alexey Ignatiev, Joo Marques-Silva |
| 2022 | AAAI | Delivering Trustworthy AI through Formal XAI. | Joo Marques-Silva, Alexey Ignatiev |
| 2022 | AAAI | Tractable Explanations for d-DNNF Classifiers. | Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin C. Cooper, Nicholas Asher, Joo Marques-Silva |
| 2022 | AAAI | Using MaxSAT for Efficient Explanations of Tree Ensembles. | Alexey Ignatiev, Yacine Izza, Peter J. Stuckey, Joo Marques-Silva |
| 2022 | AAAI | Constraint-Driven Explanations for Black-Box ML Models. | Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, Joo Marques-Silva, Moshe Y. Vardi |
| 2021 | AAAI | A Scalable Two Stage Approach to Computing Optimal Decision Sets. | Alexey Ignatiev, Edward Lam, Peter J. Stuckey, Joo Marques-Silva |
| 2021 | CP | Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms. | Alexander A. Semenov, Daniil Chivilikhin, Artem Pavlenko, Ilya V. Otpuschennikov, Vladimir Ulyantsev, Alexey Ignatiev |
| 2021 | DATE | Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification. | Gianpiero Cabodi, Paolo E. Camurati, Alexey Ignatiev, Joo Marques-Silva, Marco Palena, Paolo Pasini |
| 2021 | ICML | Explanations for Monotonic Classifiers. | Joo Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska |
| 2021 | IJCAI | Reasoning-Based Learning of Interpretable ML Models. | Alexey Ignatiev, Joo Marques-Silva, Nina Narodytska, Peter J. Stuckey |
| 2021 | KR | On Efficiently Explaining Graph-Based Classifiers. | Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Joo Marques-Silva |
| 2021 | SAT | SAT-Based Rigorous Explanations for Decision Lists. | Alexey Ignatiev, Joo Marques-Silva |
| 2021 | SAT | Assessing Progress in SAT Solvers Through the Lens of Incremental SAT. | Stepan Kochemazov, Alexey Ignatiev, Joo Marques-Silva |
| 2020 | CP | Towards Formal Fairness in Machine Learning. | Alexey Ignatiev, Martin C. Cooper, Mohamed Siala, Emmanuel Hebrard, Joo Marques-Silva |
| 2020 | CP | Computing Optimal Decision Sets with SAT. | Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic |
| 2020 | ECAI | Branch Location Problems with Maximum Satisfiability. | Oleg Zaikin, Alexey Ignatiev, Joo Marques-Silva |
| 2020 | IJCAI | Towards Trustable Explainable AI. | Alexey Ignatiev |
| 2019 | AAAI | Abduction-Based Explanations for Machine Learning Models. | Alexey Ignatiev, Nina Narodytska, Joo Marques-Silva |
| 2019 | IJCAI | Model-Based Diagnosis with Multiple Observations. | Alexey Ignatiev, Antnio Morgado, Georg Weissenbacher, Joo Marques-Silva |
| 2019 | LATA | Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference. | Ilya Zakirzyanov, Antnio Morgado, Alexey Ignatiev, Vladimir Ulyantsev, Joo Marques-Silva |
| 2019 | SAT | On Computing the Union of MUSes. | Carlos Menca, Oliver Kullmann, Alexey Ignatiev, Joo Marques-Silva |
| 2019 | SAT | DRMaxSAT with MaxHS: First Contact. | Antnio Morgado, Alexey Ignatiev, Maria Luisa Bonet, Joo Marques-Silva, Sam Buss |
| 2019 | SAT | Assessing Heuristic Machine Learning Explanations with Model Counting. | Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel, Alexey Ignatiev, Joo Marques-Silva |
| 2018 | AAAI | MaxSAT Resolution With the Dual Rail Encoding. | Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, Joo Marques-Silva, Antnio Morgado |
| 2018 | AAAI | On Cryptographic Attacks Using Backdoors for SAT. | Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev |
| 2018 | CADE | A SAT-Based Approach to Learn Explainable Decision Sets. | Alexey Ignatiev, Filipe Pereira, Nina Narodytska, Joo Marques-Silva |
| 2018 | IJCAI | Learning Optimal Decision Trees with SAT. | Nina Narodytska, Alexey Ignatiev, Filipe Pereira, Joo Marques-Silva |
| 2018 | SAT | PySAT: A Python Toolkit for Prototyping with SAT Oracles. | Alexey Ignatiev, Antnio Morgado, Joo Marques-Silva |
| 2017 | EPIA | Horn Maximum Satisfiability: Reductions, Algorithms and Applications. | Joo Marques-Silva, Alexey Ignatiev, Antnio Morgado |
| 2017 | IJCAI | Cardinality Encodings for Graph Optimization Problems. | Alexey Ignatiev, Antnio Morgado, Joo Marques-Silva |
| 2017 | ICTAI | On Computing Generalized Backbones. | Alessandro Previti, Alexey Ignatiev, Matti Jrvisalo, Joo Marques-Silva |
| 2017 | SAT | On Tackling the Limits of Resolution in SAT Solving. | Alexey Ignatiev, Antnio Morgado, Joo Marques-Silva |
| 2016 | CP | On Finding Minimum Satisfying Assignments. | Alexey Ignatiev, Alessandro Previti, Joo Marques-Silva |
| 2016 | CP | On Incremental Core-Guided MaxSAT Solving. | Xujie Si, Xin Zhang, Vasco Manquinho, Mikols Janota, Alexey Ignatiev, Mayur Naik |
| 2016 | ECAI | Propositional Abduction with Implicit Hitting Sets. | Alexey Ignatiev, Antnio Morgado, Joo Marques-Silva |
| 2016 | JELIA | Efficient Reasoning for Inconsistent Horn Formulae. | Joo Marques-Silva, Alexey Ignatiev, Carlos Menca, Rafael Pealoza |
| 2016 | SAT | BEACON: An Efficient SAT-Based Tool for Debugging | M. Fareed Arif, Carlos Menca, Alexey Ignatiev, Norbert Manthey, Rafael Pealoza, Joo Marques-Silva |
| 2016 | SAT | MCS Extraction with Sublinear Oracle Queries. | Carlos Menca, Alexey Ignatiev, Alessandro Previti, Joo Marques-Silva |
| 2015 | CP | Smallest MUS Extraction with Minimal Hitting Set Dualization. | Alexey Ignatiev, Alessandro Previti, Mark H. Liffiton, Joo Marques-Silva |
| 2015 | IJCAI | Efficient Model Based Diagnosis with Maximum Satisfiability. | Joo Marques-Silva, Mikols Janota, Alexey Ignatiev, Antnio Morgado |
| 2015 | IJCAI | Prime Compilation of Non-Clausal Formulae. | Alessandro Previti, Alexey Ignatiev, Antnio Morgado, Joo Marques-Silva |
| 2015 | SAT | SAT-Based Formula Simplification. | Alexey Ignatiev, Alessandro Previti, Joo Marques-Silva |
| 2014 | ECAI | Progression in Maximum Satisfiability. | Alexey Ignatiev, Antnio Morgado, Vasco Manquinho, Ins Lynce, Joo Marques-Silva |
| 2014 | ECAI | Efficient Autarkies. | Joo Marques-Silva, Alexey Ignatiev, Antnio Morgado, Vasco Manquinho, Ins Lynce |
| 2014 | ICSE | Towards efficient optimization in package management systems. | Alexey Ignatiev, Mikols Janota, Joo Marques-Silva |
| 2014 | SAT | On Reducing Maximum Independent Set to Minimum Satisfiability. | Alexey Ignatiev, Antnio Morgado, Joo Marques-Silva |
| 2013 | LPAR | Maximal Falsifiability - Definitions, Algorithms, and Applications. | Alexey Ignatiev, Antnio Morgado, Jordi Planes, Joo Marques-Silva |
| 2013 | SAT | Quantified Maximum Satisfiability: - A Core-Guided Approach. | Alexey Ignatiev, Mikols Janota, Joo Marques-Silva |
| 2011 | SAT | DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions. | Alexey Ignatiev, Alexander A. Semenov |