Alexey Ignatiev

107 papers A* 25A 29B 3C 1Misc 1Journal 45Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Formal Framework for the Explanation of Finite Automata Decisions.
CoRR
Jaime Cuartas Granada, Alexey Ignatiev, Peter J. Stuckey
2026 J jnl
Rigorous Explanations for Tree Ensembles.
CoRR
Yacine Izza, Alexey Ignatiev, Xuanxiang Huang, Peter J. Stuckey, João Marques-Silva
2025 J jnl
Efficient & Correct Predictive Equivalence for Decision Trees.
CoRR
João Marques-Silva, Alexey Ignatiev
2025 J jnl
Most General Explanations of Tree Ensembles (Extended Version).
CoRR
Yacine Izza, Alexey Ignatiev, Sasha Rubin, João Marques-Silva, Peter J. Stuckey
2025 A* conf
Most General Explanations of Tree Ensembles.
IJCAI
Yacine Izza, Alexey Ignatiev, Sasha Rubin, João Marques-Silva, Peter J. Stuckey
2025 J jnl
NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions.
IEEE Robotics Autom. Lett.
Zhixi Cai, Cristian Rojas Cardenas, Kevin Leo, Chenyuan Zhang, Kal Backman, Hanbing Li, Boying Li, Mahsa Ghorbanali, Stavya Datta, Lizhen Qu, Julian Gutierrez, Alexey Ignatiev, Yuan-Fang Li, Mor Vered, Peter J. Stuckey, Maria Garcia de la Banda, Hamid Rezatofighi
2025 A conf
Towards Modern and Modular SAT for LCG (Short Paper).
CP
Jip J. Dekker, Alexey Ignatiev, Peter J. Stuckey, Allen Z. Zhong
2025 J jnl
Uncovering Bugs in Formal Explainers: A Case Study with PyXAI.
CoRR
Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, João Marques-Silva
2024 J jnl
A Formal Explainer for Just-In-Time Defect Predictions.
ACM Trans. Softw. Eng. Methodol.
Jinqiang Yu, Michael Fu, Alexey Ignatiev, Chakkrit Tantithamthavorn, Peter J. Stuckey
2024 A conf
Anytime Approximate Formal Feature Attribution.
SAT
Jinqiang Yu, Graham Farr, Alexey Ignatiev, Peter J. Stuckey
2024 A* conf
Delivering Inflated Explanations.
AAAI
Yacine Izza, Alexey Ignatiev, Peter J. Stuckey, João Marques-Silva
2024 A* conf
Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation.
KR
Yacine Izza, Xuanxiang Huang, António Morgado, Jordi Planes, Alexey Ignatiev, João Marques-Silva
2024 J jnl
Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation.
CoRR
Yacine Izza, Xuanxiang Huang, António Morgado, Jordi Planes, Alexey Ignatiev, João Marques-Silva
2024 J jnl
Formal Explanations for Neuro-Symbolic AI.
CoRR
Sushmita Paul, Jinqiang Yu, Jip J. Dekker, Alexey Ignatiev, Peter J. Stuckey
2024 J jnl
NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions.
CoRR
Zhixi Cai, Cristian Rojas Cardenas, Kevin Leo, Chenyuan Zhang, Kal Backman, Hanbing Li, Boying Li, Mahsa Ghorbanali, Stavya Datta, Lizhen Qu, Julian Gutierrez Santiago, Alexey Ignatiev, Yuan-Fang Li, Mor Vered, Peter J. Stuckey, Maria Garcia de la Banda, Hamid Rezatofighi
2024 J jnl
SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques.
Proc. ACM Program. Lang.
Elvira Albert, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, Peter J. Stuckey
2024 A conf
Towards Universally Accessible SAT Technology.
SAT
Alexey Ignatiev, Zi Li Tan, Christos Karamanos
2023 J jnl
Anytime Approximate Formal Feature Attribution.
CoRR
Jinqiang Yu, Graham Farr, Alexey Ignatiev, Peter J. Stuckey
2023 J jnl
Delivering Inflated Explanations.
CoRR
Yacine Izza, Alexey Ignatiev, Peter J. Stuckey, João Marques-Silva
2023 A* conf
Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations.
AAAI
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva
2023 A conf
From Formal Boosted Tree Explanations to Interpretable Rule Sets.
CP
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey
2023 J jnl
No silver bullet: interpretable ML models must be explained.
Frontiers Artif. Intell.
João Marques-Silva, Alexey Ignatiev
2023 J jnl
On Formal Feature Attribution and Its Approximation.
CoRR
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey
2023 A* conf
On Tackling Explanation Redundancy in Decision Trees (Extended Abstract).
IJCAI
Yacine Izza, Alexey Ignatiev, João Marques-Silva
2023 J jnl
On computing probabilistic abductive explanations.
Int. J. Approx. Reason.
Yacine Izza, Xuanxiang Huang, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
2022 A* conf
Constraint-Driven Explanations for Black-Box ML Models.
AAAI
Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, João Marques-Silva, Moshe Y. Vardi
2022 A* conf
Delivering Trustworthy AI through Formal XAI.
AAAI
João Marques-Silva, Alexey Ignatiev
2022 J jnl
Eliminating The Impossible, Whatever Remains Must Be True.
CoRR
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva
2022 J jnl
On Computing Probabilistic Abductive Explanations.
CoRR
Yacine Izza, Xuanxiang Huang, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
2022 J jnl
On Tackling Explanation Redundancy in Decision Trees.
CoRR
Yacine Izza, Alexey Ignatiev, João Marques-Silva
2022 J jnl
On Tackling Explanation Redundancy in Decision Trees.
J. Artif. Intell. Res.
Yacine Izza, Alexey Ignatiev, João Marques-Silva
2022 J jnl
Provably Precise, Succinct and Efficient Explanations for Decision Trees.
CoRR
Yacine Izza, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
2022 A* conf
Tractable Explanations for d-DNNF Classifiers.
AAAI
Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin C. Cooper, Nicholas Asher, João Marques-Silva
2022 A* conf
Using MaxSAT for Efficient Explanations of Tree Ensembles.
AAAI
Alexey Ignatiev, Yacine Izza, Peter J. Stuckey, João Marques-Silva
2021 A* conf
A Scalable Two Stage Approach to Computing Optimal Decision Sets.
AAAI
Alexey Ignatiev, Edward Lam, Peter J. Stuckey, João Marques-Silva
2021 J jnl
A Scalable Two Stage Approach to Computing Optimal Decision Sets.
CoRR
Alexey Ignatiev, Edward Lam, Peter J. Stuckey, João Marques-Silva
2021 A conf
Assessing Progress in SAT Solvers Through the Lens of Incremental SAT.
SAT
Stepan Kochemazov, Alexey Ignatiev, João Marques-Silva
2021 J jnl
Efficient Explanations With Relevant Sets.
CoRR
Yacine Izza, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
2021 J jnl
Efficient Explanations for Knowledge Compilation Languages.
CoRR
Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin C. Cooper, Nicholas Asher, João Marques-Silva
2021 A conf
Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms.
CP
Alexander A. Semenov, Daniil Chivilikhin, Artem Pavlenko, Ilya V. Otpuschennikov, Vladimir Ulyantsev, Alexey Ignatiev
2021 A* conf
Explanations for Monotonic Classifiers.
ICML
João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska
2021 J jnl
Explanations for Monotonic Classifiers.
CoRR
João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska
2021 J jnl
Learning Optimal Decision Sets and Lists with SAT.
J. Artif. Intell. Res.
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic
2021 A* conf
On Efficiently Explaining Graph-Based Classifiers.
KR
Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, João Marques-Silva
2021 J jnl
On Efficiently Explaining Graph-Based Classifiers.
CoRR
Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, João Marques-Silva
2021 A conf
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification.
DATE
Gianpiero Cabodi, Paolo E. Camurati, Alexey Ignatiev, João Marques-Silva, Marco Palena, Paolo Pasini
2021 J jnl
Propositional proof systems based on maximum satisfiability.
Artif. Intell.
Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, António Morgado, João Marques-Silva
2021 A* conf
Reasoning-Based Learning of Interpretable ML Models.
IJCAI
Alexey Ignatiev, João Marques-Silva, Nina Narodytska, Peter J. Stuckey
2021 A conf
SAT-Based Rigorous Explanations for Decision Lists.
SAT
Alexey Ignatiev, João Marques-Silva
2021 J jnl
SAT-Based Rigorous Explanations for Decision Lists.
CoRR
Alexey Ignatiev, João Marques-Silva
2020 A conf
Branch Location Problems with Maximum Satisfiability.
ECAI
Oleg Zaikin, Alexey Ignatiev, João Marques-Silva
2020 A conf
Computing Optimal Decision Sets with SAT.
CP
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic
2020 J jnl
Computing Optimal Decision Sets with SAT.
CoRR
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic
2020 A* conf
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay.
NeurIPS
João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska
2020 J jnl
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay.
CoRR
João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska
2020 — conf
From Contrastive to Abductive Explanations and Back Again.
AI*IA
Alexey Ignatiev, Nina Narodytska, Nicholas Asher, João Marques-Silva
2020 J jnl
On Explaining Decision Trees.
CoRR
Yacine Izza, Alexey Ignatiev, João Marques-Silva
2020 J jnl
On Relating 'Why?' and 'Why Not?' Explanations.
CoRR
Alexey Ignatiev, Nina Narodytska, Nicholas Asher, João Marques-Silva
2020 J jnl
Optimal Decision Lists using SAT.
CoRR
Jinqiang Yu, Alexey Ignatiev, Pierre Le Bodic, Peter J. Stuckey
2020 A conf
Towards Formal Fairness in Machine Learning.
CP
Alexey Ignatiev, Martin C. Cooper, Mohamed Siala, Emmanuel Hebrard, João Marques-Silva
2020 A* conf
Towards Trustable Explainable AI.
IJCAI
Alexey Ignatiev
2019 A* conf
Abduction-Based Explanations for Machine Learning Models.
AAAI
Alexey Ignatiev, Nina Narodytska, João Marques-Silva
2019 A conf
Assessing Heuristic Machine Learning Explanations with Model Counting.
SAT
Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel, Alexey Ignatiev, João Marques-Silva
2019 A conf
DRMaxSAT with MaxHS: First Contact.
SAT
António Morgado, Alexey Ignatiev, Maria Luisa Bonet, João Marques-Silva, Sam Buss
2019 C conf
Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference.
LATA
Ilya Zakirzyanov, António Morgado, Alexey Ignatiev, Vladimir Ulyantsev, João Marques-Silva
2019 A* conf
Model-Based Diagnosis with Multiple Observations.
IJCAI
Alexey Ignatiev, António Morgado, Georg Weissenbacher, João Marques-Silva
2019 A conf
On Computing the Union of MUSes.
SAT
Carlos Mencía, Oliver Kullmann, Alexey Ignatiev, João Marques-Silva
2019 A* conf
On Relating Explanations and Adversarial Examples.
NeurIPS
Alexey Ignatiev, Nina Narodytska, João Marques-Silva
2019 J jnl
On Validating, Repairing and Refining Heuristic ML Explanations.
CoRR
Alexey Ignatiev, Nina Narodytska, João Marques-Silva
2019 J jnl
RC2: an Efficient MaxSAT Solver.
J. Satisf. Boolean Model. Comput.
Alexey Ignatiev, António Morgado, João Marques-Silva
2018 A conf
A SAT-Based Approach to Learn Explainable Decision Sets.
IJCAR
Alexey Ignatiev, Filipe Pereira, Nina Narodytska, João Marques-Silva
2018 J jnl
Abduction-Based Explanations for Machine Learning Models.
CoRR
Alexey Ignatiev, Nina Narodytska, João Marques-Silva
2018 A* conf
Learning Optimal Decision Trees with SAT.
IJCAI
Nina Narodytska, Alexey Ignatiev, Filipe Pereira, João Marques-Silva
2018 A* conf
MaxSAT Resolution With the Dual Rail Encoding.
AAAI
Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, João Marques-Silva, António Morgado
2018 A* conf
On Cryptographic Attacks Using Backdoors for SAT.
AAAI
Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev
2018 J jnl
On Cryptographic Attacks Using Backdoors for SAT.
CoRR
Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev
2018 A conf
PySAT: A Python Toolkit for Prototyping with SAT Oracles.
SAT
Alexey Ignatiev, António Morgado, João Marques-Silva
2017 A* conf
Cardinality Encodings for Graph Optimization Problems.
IJCAI
Alexey Ignatiev, António Morgado, João Marques-Silva
2017 — conf
Debugging EL+ Ontologies through Horn MUS Enumeration.
Description Logics
Alexey Ignatiev, João Marques-Silva, Carlos Mencía, Rafael Peñaloza
2017 J jnl
Horn Maximum Satisfiability: Reductions, Algorithms & Applications.
CoRR
João Marques-Silva, Alexey Ignatiev, António Morgado
2017 Misc conf
Horn Maximum Satisfiability: Reductions, Algorithms and Applications.
EPIA
João Marques-Silva, Alexey Ignatiev, António Morgado
2017 — conf
Lean Kernels in Description Logics.
ESWC (1)
Rafael Peñaloza, Carlos Mencía, Alexey Ignatiev, João Marques-Silva
2017 J jnl
Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets.
CoRR
Alexey Ignatiev, António Morgado, João Marques-Silva
2017 B conf
On Computing Generalized Backbones.
ICTAI
Alessandro Previti, Alexey Ignatiev, Matti Järvisalo, João Marques-Silva
2017 A conf
On Tackling the Limits of Resolution in SAT Solving.
SAT
Alexey Ignatiev, António Morgado, João Marques-Silva
2017 J jnl
On Tackling the Limits of Resolution in SAT Solving.
CoRR
Alexey Ignatiev, António Morgado, João Marques-Silva
2016 A conf
BEACON: An Efficient SAT-Based Tool for Debugging
SAT
M. Fareed Arif, Carlos Mencía, Alexey Ignatiev, Norbert Manthey, Rafael Peñaloza, João Marques-Silva
2016 B conf
Efficient Reasoning for Inconsistent Horn Formulae.
JELIA
João Marques-Silva, Alexey Ignatiev, Carlos Mencía, Rafael Peñaloza
2016 A conf
MCS Extraction with Sublinear Oracle Queries.
SAT
Carlos Mencía, Alexey Ignatiev, Alessandro Previti, João Marques-Silva
2016 J jnl
Maximal falsifiability.
AI Commun.
Alexey Ignatiev, António Morgado, Jordi Planes, João Marques-Silva
2016 A conf
On Finding Minimum Satisfying Assignments.
CP
Alexey Ignatiev, Alessandro Previti, João Marques-Silva
2016 A conf
On Incremental Core-Guided MaxSAT Solving.
CP
Xujie Si, Xin Zhang, Vasco Manquinho, Mikolás Janota, Alexey Ignatiev, Mayur Naik
2016 A conf
Propositional Abduction with Implicit Hitting Sets.
ECAI
Alexey Ignatiev, António Morgado, João Marques-Silva
2016 J jnl
Propositional Abduction with Implicit Hitting Sets.
CoRR
Alexey Ignatiev, António Morgado, João Marques-Silva
2016 J jnl
Quantified maximum satisfiability.
Constraints An Int. J.
Alexey Ignatiev, Mikolás Janota, João Marques-Silva
2015 A* conf
Efficient Model Based Diagnosis with Maximum Satisfiability.
IJCAI
João Marques-Silva, Mikolás Janota, Alexey Ignatiev, António Morgado
2015 A* conf
Prime Compilation of Non-Clausal Formulae.
IJCAI
Alessandro Previti, Alexey Ignatiev, António Morgado, João Marques-Silva
2015 A conf
SAT-Based Formula Simplification.
SAT
Alexey Ignatiev, Alessandro Previti, João Marques-Silva
2015 A conf
Smallest MUS Extraction with Minimal Hitting Set Dualization.
CP
Alexey Ignatiev, Alessandro Previti, Mark H. Liffiton, João Marques-Silva
2014 A conf
Efficient Autarkies.
ECAI
João Marques-Silva, Alexey Ignatiev, António Morgado, Vasco Manquinho, Inês Lynce
2014 J jnl
MSCG: Robust Core-Guided MaxSAT Solving.
J. Satisf. Boolean Model. Comput.
António Morgado, Alexey Ignatiev, João Marques-Silva
2014 A conf
On Reducing Maximum Independent Set to Minimum Satisfiability.
SAT
Alexey Ignatiev, António Morgado, João Marques-Silva
2014 A conf
Progression in Maximum Satisfiability.
ECAI
Alexey Ignatiev, António Morgado, Vasco Manquinho, Inês Lynce, João Marques-Silva
2014 A* conf
Towards efficient optimization in package management systems.
ICSE
Alexey Ignatiev, Mikolás Janota, João Marques-Silva
2013 B conf
Maximal Falsifiability - Definitions, Algorithms, and Applications.
LPAR
Alexey Ignatiev, António Morgado, Jordi Planes, João Marques-Silva
2013 A conf
Quantified Maximum Satisfiability: - A Core-Guided Approach.
SAT
Alexey Ignatiev, Mikolás Janota, João Marques-Silva
2011 A conf
DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions.
SAT
Alexey Ignatiev, Alexander A. Semenov