Alexey Ignatiev

Cited by

	All	Since 2016
Citations	804	750
h-index	18	17
i10-index	27	24

300

150

225

20122013201420152016201720182019202020213 3 8 35 60 65 87 156 284 89

Public access

View all

30 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr
Nina NarodytskaVMware ResearchVerified email at vmware.com
Alessandro PrevitiEricsson ResearchVerified email at ericsson.com
Mikoláš JanotaAssistant Professor, Instituto Superior Técnico (IST) / INESC-ID, University of LisbonVerified email at sat.inesc-id.pt
Rafael PeñalozaUniversity of Milano-BicoccaVerified email at unimib.it
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaVerified email at inesc-id.pt
Filipe PereiraVerified email at lasige.di.fc.ul.pt
Oleg ZaikinSwansea UniversityVerified email at swansea.ac.uk
Sam BussProfessor of Mathematics and Computer ScienceVerified email at ucsd.edu
Maria Luisa BonetLSI, UPCVerified email at lsi.upc.edu
Ines LynceINESC-ID / IST, Universidade de LisboaVerified email at tecnico.ulisboa.pt
M. Fareed ArifThe Unviersity of IowaVerified email at uiowa.edu
Norbert MantheyTU DresdenVerified email at tu-dresden.de
Mark LiffitonIllinois Wesleyan UniversityVerified email at iwu.edu
Jordi PlanesUniversitat de LleidaVerified email at diei.udl.cat
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Aditya A. ShrotriRice UniversityVerified email at rice.edu
Oliver KullmannSwansea UniversityVerified email at Swansea.ac.uk
Kuldeep S. MeelAssistant Professor, National University of SingaporeVerified email at comp.nus.edu.sg
Jinqiang YuPhD student, Monash UniversityVerified email at monash.edu

Alexey Ignatiev

Faculty of Information Technology, Monash University

Verified email at monash.edu - Homepage

Satisfiability Computational Logic Automated Reasoning Artificial Intelligence Knowledge Representation and Reasoning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
PySAT: A Python toolkit for prototyping with SAT oracles A Ignatiev, A Morgado, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2018	68	2018
Smallest MUS extraction with minimal hitting set dualization A Ignatiev, A Previti, M Liffiton, J Marques-Silva International Conference on Principles and Practice of Constraint …, 2015	49	2015
Learning Optimal Decision Trees with SAT. N Narodytska, A Ignatiev, F Pereira, J Marques-Silva, IS RAS IJCAI, 1362-1368, 2018	48	2018
Abduction-based explanations for machine learning models A Ignatiev, N Narodytska, J Marques-Silva Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 1511-1519, 2019	41	2019
Efficient Model Based Diagnosis with Maximum Satisfiability J Marques-Silva, M Janota, A Ignatiev, A Morgado 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 0	39*
MSCG: Robust core-guided MaxSAT solving A Morgado, A Ignatiev, J Marques-Silva Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 129-134, 2014	38	2014
Prime compilation of non-clausal formulae A Previti, A Ignatiev, A Morgado, J Marques-Silva Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015	33	2015
A SAT-based approach to learn explainable decision sets A Ignatiev, F Pereira, N Narodytska, J Marques-Silva International Joint Conference on Automated Reasoning, 627-645, 2018	32	2018
Progression in Maximum Satisfiability. A Ignatiev, A Morgado, VM Manquinho, I Lynce, J Marques-Silva ECAI, 453-458, 2014	30	2014
RC2: an efficient MaxSAT solver A Ignatiev, A Morgado, J Marques-Silva Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 53-64, 2019	26	2019
BEACON: An Efficient SAT-Based Tool for Debugging Ontologies MF Arif, C Mencía, A Ignatiev, N Manthey, R Peñaloza, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2016	26	2016
On relating explanations and adversarial examples A Ignatiev, N Narodytska, J Marques-Silva	25	2019
On cryptographic attacks using backdoors for SAT A Semenov, O Zaikin, I Otpuschennikov, S Kochemazov, A Ignatiev Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018	25	2018
On tackling the limits of resolution in SAT solving A Ignatiev, A Morgado, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2017	24	2017
Towards efficient optimization in package management systems A Ignatiev, M Janota, J Marques-Silva Proceedings of the 36th International Conference on Software Engineering …, 2014	23	2014
Quantified maximum satisfiability A Ignatiev, M Janota, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2013	23	2013
MaxSAT resolution with the dual rail encoding ML Bonet, S Buss, A Ignatiev, J Marques-Silva, A Morgado Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018	21	2018
MCS extraction with sublinear oracle queries C Mencía, A Ignatiev, A Previti, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2016	18	2016
Assessing heuristic machine learning explanations with model counting N Narodytska, A Shrotri, KS Meel, A Ignatiev, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2019	17	2019
Propositional abduction with implicit hitting sets A Ignatiev, A Morgado, J Marques-Silva arXiv preprint arXiv:1604.08229, 2016	17	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors