Alexey Ignatiev

Alexey Ignatiev

Monash University - Clayton / Australia
Engineering & Technology / Electrical & Information Engineering
AD Scientific Index ID: 114797
Monash University
person_outline Alexey Ignatiev's MOST POPULAR ARTICLES
1-) PySAT: A Python toolkit for prototyping with SAT oraclesA Ignatiev, A Morgado, J Marques-SilvaInternational Conference on Theory and Applications of Satisfiability …, 20181692018
2-) Abduction-based explanations for machine learning modelsA Ignatiev, N Narodytska, J Marques-SilvaProceedings of the AAAI Conference on Artificial Intelligence 33 (01), 1511-1519, 20191182019
3-) Learning Optimal Decision Trees with SAT.N Narodytska, A Ignatiev, F Pereira, J Marques-Silva, I RasIjcai, 1362-1368, 2018952018
4-) RC2: an efficient MaxSAT solverA Ignatiev, A Morgado, J Marques-SilvaJournal on Satisfiability, Boolean Modeling and Computation 11 (1), 53-64, 20191552019
5-) Towards Trustable Explainable AIA IgnatievIJCAI, 5154-5158, 20201462020