Alexey Ignatiev

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 83

Top Topics

Maximum Satisfiability

Theoretical Underpinnings

Top Venues

Publications

Yacine Izza, Alexey Ignatiev, Peter J. Stuckey, João Marques-Silva
Delivering Inflated Explanations. AAAI (2024)
Elvira Albert, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, Peter J. Stuckey
SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Yacine Izza, Xuanxiang Huang, António Morgado, Jordi Planes, Alexey Ignatiev, João Marques-Silva
Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation. CoRR (2024)
Alexey Ignatiev, Zi Li Tan, Christos Karamanos
Towards Universally Accessible SAT Technology. SAT (2024)
Jinqiang Yu, Graham Farr, Alexey Ignatiev, Peter J. Stuckey
Anytime Approximate Formal Feature Attribution. SAT (2024)
João Marques-Silva, Alexey Ignatiev
No silver bullet: interpretable ML models must be explained. Frontiers Artif. Intell. 6 (2023)
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva
Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations. AAAI (2023)
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey
On Formal Feature Attribution and Its Approximation. CoRR (2023)
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey
From Formal Boosted Tree Explanations to Interpretable Rule Sets. CP (2023)
Yacine Izza, Alexey Ignatiev, João Marques-Silva
On Tackling Explanation Redundancy in Decision Trees (Extended Abstract). IJCAI (2023)
Jinqiang Yu, Graham Farr, Alexey Ignatiev, Peter J. Stuckey
Anytime Approximate Formal Feature Attribution. CoRR (2023)
Yacine Izza, Xuanxiang Huang, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
On computing probabilistic abductive explanations. Int. J. Approx. Reason. 159 (2023)
Yacine Izza, Alexey Ignatiev, Peter J. Stuckey, João Marques-Silva
Delivering Inflated Explanations. CoRR (2023)
Alexey Ignatiev, Yacine Izza, Peter J. Stuckey, João Marques-Silva
Using MaxSAT for Efficient Explanations of Tree Ensembles. AAAI (2022)
Yacine Izza, Alexey Ignatiev, João Marques-Silva
On Tackling Explanation Redundancy in Decision Trees. J. Artif. Intell. Res. 75 (2022)
Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin C. Cooper, Nicholas Asher, João Marques-Silva
Tractable Explanations for d-DNNF Classifiers. AAAI (2022)
Yacine Izza, Xuanxiang Huang, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
On Computing Probabilistic Abductive Explanations. CoRR (2022)
João Marques-Silva, Alexey Ignatiev
Delivering Trustworthy AI through Formal XAI. AAAI (2022)
Yacine Izza, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
Provably Precise, Succinct and Efficient Explanations for Decision Trees. CoRR (2022)
Yacine Izza, Alexey Ignatiev, João Marques-Silva
On Tackling Explanation Redundancy in Decision Trees. CoRR (2022)
Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, João Marques-Silva, Moshe Y. Vardi
Constraint-Driven Explanations for Black-Box ML Models. AAAI (2022)
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva
Eliminating The Impossible, Whatever Remains Must Be True. CoRR (2022)
Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin C. Cooper, Nicholas Asher, João Marques-Silva
Efficient Explanations for Knowledge Compilation Languages. CoRR (2021)
Gianpiero Cabodi, Paolo E. Camurati, Alexey Ignatiev, João Marques-Silva, Marco Palena, Paolo Pasini
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification. DATE (2021)
Yacine Izza, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
Efficient Explanations With Relevant Sets. CoRR (2021)
João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska
Explanations for Monotonic Classifiers. CoRR (2021)
Alexey Ignatiev, João Marques-Silva
SAT-Based Rigorous Explanations for Decision Lists. CoRR (2021)
Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, João Marques-Silva
On Efficiently Explaining Graph-Based Classifiers. KR (2021)
João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska
Explanations for Monotonic Classifiers. ICML (2021)
Stepan Kochemazov, Alexey Ignatiev, João Marques-Silva
Assessing Progress in SAT Solvers Through the Lens of Incremental SAT. SAT (2021)
Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, João Marques-Silva
On Efficiently Explaining Graph-Based Classifiers. CoRR (2021)
Alexander A. Semenov, Daniil Chivilikhin, Artem Pavlenko, Ilya V. Otpuschennikov, Vladimir Ulyantsev, Alexey Ignatiev
Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms. CP (2021)
Alexey Ignatiev, João Marques-Silva, Nina Narodytska, Peter J. Stuckey
Reasoning-Based Learning of Interpretable ML Models. IJCAI (2021)
Alexey Ignatiev, Edward Lam, Peter J. Stuckey, João Marques-Silva
A Scalable Two Stage Approach to Computing Optimal Decision Sets. AAAI (2021)
Alexey Ignatiev, Edward Lam, Peter J. Stuckey, João Marques-Silva
A Scalable Two Stage Approach to Computing Optimal Decision Sets. CoRR (2021)
Alexey Ignatiev, João P. Marques Silva
SAT-Based Rigorous Explanations for Decision Lists. SAT (2021)
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic
Learning Optimal Decision Sets and Lists with SAT. J. Artif. Intell. Res. 72 (2021)
Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, António Morgado, João Marques-Silva
Propositional proof systems based on maximum satisfiability. Artif. Intell. 300 (2021)
Jinqiang Yu, Alexey Ignatiev, Pierre Le Bodic, Peter J. Stuckey
Optimal Decision Lists using SAT. CoRR (2020)
Alexey Ignatiev, Nina Narodytska, Nicholas Asher, João Marques-Silva
From Contrastive to Abductive Explanations and Back Again. AI*IA (2020)
João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay. CoRR (2020)
Oleg Zaikin, Alexey Ignatiev, João Marques-Silva
Branch Location Problems with Maximum Satisfiability. ECAI (2020)
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic
Computing Optimal Decision Sets with SAT. CoRR (2020)
João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay. NeurIPS (2020)
Alexey Ignatiev, Nina Narodytska, Nicholas Asher, João Marques-Silva
On Relating 'Why?' and 'Why Not?' Explanations. CoRR (2020)
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic
Computing Optimal Decision Sets with SAT. CP (2020)
Alexey Ignatiev, Martin C. Cooper, Mohamed Siala, Emmanuel Hebrard, João Marques-Silva
Towards Formal Fairness in Machine Learning. CP (2020)
Alexey Ignatiev
Towards Trustable Explainable AI. IJCAI (2020)
Yacine Izza, Alexey Ignatiev, João Marques-Silva
On Explaining Decision Trees. CoRR (2020)
Carlos Mencía, Oliver Kullmann, Alexey Ignatiev, João Marques-Silva
On Computing the Union of MUSes. SAT (2019)
António Morgado, Alexey Ignatiev, Maria Luisa Bonet, João Marques-Silva, Sam Buss
DRMaxSAT with MaxHS: First Contact. SAT (2019)
Alexey Ignatiev, Nina Narodytska, João Marques-Silva
On Relating Explanations and Adversarial Examples. NeurIPS (2019)
Ilya Zakirzyanov, António Morgado, Alexey Ignatiev, Vladimir Ulyantsev, João Marques-Silva
Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference. LATA (2019)
Alexey Ignatiev, Nina Narodytska, João Marques-Silva
Abduction-Based Explanations for Machine Learning Models. AAAI (2019)
Alexey Ignatiev, António Morgado, João Marques-Silva
RC2: an Efficient MaxSAT Solver. J. Satisf. Boolean Model. Comput. 11 (1) (2019)
Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel, Alexey Ignatiev, João Marques-Silva
Assessing Heuristic Machine Learning Explanations with Model Counting. SAT (2019)
Alexey Ignatiev, António Morgado, Georg Weissenbacher, João Marques-Silva
Model-Based Diagnosis with Multiple Observations. IJCAI (2019)
Alexey Ignatiev, Nina Narodytska, João Marques-Silva
On Validating, Repairing and Refining Heuristic ML Explanations. CoRR (2019)
Alexey Ignatiev, António Morgado, João Marques-Silva
PySAT: A Python Toolkit for Prototyping with SAT Oracles. SAT (2018)
Nina Narodytska, Alexey Ignatiev, Filipe Pereira, João Marques-Silva
Learning Optimal Decision Trees with SAT. IJCAI (2018)
Alexey Ignatiev, Filipe Pereira, Nina Narodytska, João Marques-Silva
A SAT-Based Approach to Learn Explainable Decision Sets. IJCAR (2018)
Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev
On Cryptographic Attacks Using Backdoors for SAT. CoRR (2018)
Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, João Marques-Silva, António Morgado
MaxSAT Resolution With the Dual Rail Encoding. AAAI (2018)
Alexey Ignatiev, Nina Narodytska, João Marques-Silva
Abduction-Based Explanations for Machine Learning Models. CoRR (2018)
Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev
On Cryptographic Attacks Using Backdoors for SAT. AAAI (2018)
Alessandro Previti, Alexey Ignatiev, Matti Järvisalo, João Marques-Silva
On Computing Generalized Backbones. ICTAI (2017)
Alexey Ignatiev, António Morgado, João Marques-Silva
On Tackling the Limits of Resolution in SAT Solving. SAT (2017)
João Marques-Silva, Alexey Ignatiev, António Morgado
Horn Maximum Satisfiability: Reductions, Algorithms & Applications. CoRR (2017)
Alexey Ignatiev, António Morgado, João Marques-Silva
Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets. CoRR (2017)
Rafael Peñaloza, Carlos Mencía, Alexey Ignatiev, João Marques-Silva
Lean Kernels in Description Logics. ESWC (1) (2017)
Alexey Ignatiev, João Marques-Silva, Carlos Mencía, Rafael Peñaloza
Debugging EL+ Ontologies through Horn MUS Enumeration. Description Logics (2017)
Alexey Ignatiev, António Morgado, João Marques-Silva
On Tackling the Limits of Resolution in SAT Solving. CoRR (2017)
João Marques-Silva, Alexey Ignatiev, António Morgado
Horn Maximum Satisfiability: Reductions, Algorithms and Applications. EPIA (2017)
Alexey Ignatiev, António Morgado, João Marques-Silva
Cardinality Encodings for Graph Optimization Problems. IJCAI (2017)
M. Fareed Arif, Carlos Mencía, Alexey Ignatiev, Norbert Manthey, Rafael Peñaloza, João Marques-Silva
^+ Ontologies. SAT (2016)
João Marques-Silva, Alexey Ignatiev, Carlos Mencía, Rafael Peñaloza
Efficient Reasoning for Inconsistent Horn Formulae. JELIA (2016)
Alexey Ignatiev, António Morgado, João Marques-Silva
Propositional Abduction with Implicit Hitting Sets. CoRR (2016)
Alexey Ignatiev, António Morgado, Jordi Planes, João Marques-Silva
Maximal falsifiability. AI Commun. 29 (2) (2016)
Alexey Ignatiev, António Morgado, João Marques-Silva
Propositional Abduction with Implicit Hitting Sets. ECAI (2016)
Carlos Mencía, Alexey Ignatiev, Alessandro Previti, João Marques-Silva
MCS Extraction with Sublinear Oracle Queries. SAT (2016)
Xujie Si, Xin Zhang, Vasco M. Manquinho, Mikolás Janota, Alexey Ignatiev, Mayur Naik
On Incremental Core-Guided MaxSAT Solving. CP (2016)
Alexey Ignatiev, Alessandro Previti, João Marques-Silva
On Finding Minimum Satisfying Assignments. CP (2016)
Alexey Ignatiev, Mikolás Janota, João Marques-Silva
Quantified maximum satisfiability. Constraints An Int. J. 21 (2) (2016)
João Marques-Silva, Mikolás Janota, Alexey Ignatiev, António Morgado
Efficient Model Based Diagnosis with Maximum Satisfiability. IJCAI (2015)
Alessandro Previti, Alexey Ignatiev, António Morgado, João Marques-Silva
Prime Compilation of Non-Clausal Formulae. IJCAI (2015)
Alexey Ignatiev, Alessandro Previti, João Marques-Silva
SAT-Based Formula Simplification. SAT (2015)
Alexey Ignatiev, Alessandro Previti, Mark H. Liffiton, João Marques-Silva
Smallest MUS Extraction with Minimal Hitting Set Dualization. CP (2015)
Alexey Ignatiev, Mikolás Janota, João Marques-Silva
Towards efficient optimization in package management systems. ICSE (2014)
Alexey Ignatiev, António Morgado, João Marques-Silva
On Reducing Maximum Independent Set to Minimum Satisfiability. SAT (2014)
João Marques-Silva, Alexey Ignatiev, António Morgado, Vasco M. Manquinho, Inês Lynce
Efficient Autarkies. ECAI (2014)
Alexey Ignatiev, António Morgado, Vasco M. Manquinho, Inês Lynce, João Marques-Silva
Progression in Maximum Satisfiability. ECAI (2014)
António Morgado, Alexey Ignatiev, João Marques-Silva
MSCG: Robust Core-Guided MaxSAT Solving. J. Satisf. Boolean Model. Comput. 9 (1) (2014)
Alexey Ignatiev, António Morgado, Jordi Planes, João Marques-Silva
Maximal Falsifiability - Definitions, Algorithms, and Applications. LPAR (2013)
Alexey Ignatiev, Mikolás Janota, João Marques-Silva
Quantified Maximum Satisfiability: - A Core-Guided Approach. SAT (2013)
Alexey Ignatiev, Alexander A. Semenov
DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions. SAT (2011)