Alexey Ignatiev

Identifiers

No identifiers captured yet.

Papers (8)

1. A Formal Framework for the Explanation of Finite Automata Decisions cs.AI · 2026 · author #2
2. On Validating, Repairing and Refining Heuristic ML Explanations cs.LG · 2019 · author #1
3. Abduction-Based Explanations for Machine Learning Models cs.AI · 2018 · author #1
4. On Cryptographic Attacks Using Backdoors for SAT cs.AI · 2018 · author #5
5. Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets cs.LO · 2017 · author #1
6. Horn Maximum Satisfiability: Reductions, Algorithms & Applications cs.LO · 2017 · author #2
7. On Tackling the Limits of Resolution in SAT Solving cs.LO · 2017 · author #1
8. Propositional Abduction with Implicit Hitting Sets cs.AI · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Joao Marques-Silva 6 shared papers
• Antonio Morgado 4 shared papers
• Nina Narodytska 2 shared papers
• Alexander Semenov 1 shared papers
• Ilya Otpuschennikov 1 shared papers
• Jaime Cuartas Granada 1 shared papers
• Oleg Zaikin 1 shared papers
• Peter J. Stuckey 1 shared papers
• Stepan Kochemazov 1 shared papers