Alexey Ignatiev
TitleCited byYear
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
392015
Prime compilation of non-clausal formulae
A Previti, A Ignatiev, A Morgado, J Marques-Silva
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
302015
MSCG: Robust Core-Guided MaxSAT Solving.
A Morgado, A Ignatiev, J Marques-Silva
JSAT 9, 129-134, 2014
292014
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
27*
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
222018
Progression in Maximum Satisfiability.
A Ignatiev, A Morgado, VM Manquinho, I Lynce, J Marques-Silva
ECAI, 453-458, 2014
212014
Learning Optimal Decision Trees with SAT.
N Narodytska, A Ignatiev, F Pereira, J Marques-Silva, IS RAS
IJCAI, 1362-1368, 2018
192018
On cryptographic attacks using backdoors for SAT
A Semenov, O Zaikin, I Otpuschennikov, S Kochemazov, A Ignatiev
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
192018
Towards efficient optimization in package management systems
A Ignatiev, M Janota, J Marques-Silva
Proceedings of the 36th International Conference on Software Engineering …, 2014
182014
Quantified maximum satisfiability
A Ignatiev, M Janota, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2013
162013
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
152016
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
142018
MaxSAT resolution with the dual rail encoding
ML Bonet, S Buss, A Ignatiev, J Marques-Silva, A Morgado
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
142018
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
142017
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
142016
On reducing maximum independent set to minimum satisfiability
A Ignatiev, A Morgado, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2014
122014
Abduction-based explanations for machine learning models
A Ignatiev, N Narodytska, J Marques-Silva
Proceedings of the AAAI Conference on Artificial Intelligence 33, 1511-1519, 2019
112019
Maximal Falsifiability
A Ignatiev, A Morgado, J Planes, J Marques-Silva
International Conference on Logic for Programming Artificial Intelligence …, 2013
92013
Propositional abduction with implicit hitting sets
A Ignatiev, A Morgado, J Marques-Silva
Proceedings of the Twenty-second European Conference on Artificial …, 2016
82016
Efficient reasoning for inconsistent Horn formulae
J Marques-Silva, A Ignatiev, C Mencía, R Peñaloza
European Conference on Logics in Artificial Intelligence, 336-352, 2016
72016
The system can't perform the operation now. Try again later.
Articles 1–20