Alexey Ignatiev's home page
Some of the publications
Learning Optimal Decision Trees with SAT
Nina Narodytska, Alexey Ignatiev, Filipe Pereira, Joao Marques-Silva
27th International Joint Conference on Artificial Intelligence (IJCAI 2018), pp. 1362–1368, 2018
A SAT-Based Approach to Learn Explainable Decision Sets
Alexey Ignatiev, Filipe Pereira, Nina Narodytska, Joao Marques-Silva
9th International Joint Conference on Automated Reasoning (IJCAR 2018)
Lecture Notes in Artificial Intelligence, vol. 10900, pp. 627–645, 2018
PySAT: A Python Toolkit for Prototyping with SAT Oracles
Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva
21st International Conference on Theory and Applications of Satisfiability Testing (SAT 2018)
Lecture Notes in Computer Science, vol. 10929, pp. 428–437, 2018
MaxSAT Resolution with the Dual Rail Encoding
Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, Joao Marques-Silva, Antonio Morgado
32nd AAAI Conference on Artificial Intelligence (AAAI 2018)
On Cryptographic Attacks Using Backdoors for SAT
Alexander Semenov, Oleg Zaikin, Ilya Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev
32nd AAAI Conference on Artificial Intelligence (AAAI 2018)
On Computing Generalized Backbones
Alessandro Previti, Alexey Ignatiev, Matti Järvisalo, Joao Marques-Silva
29th International Conference on Tools with Artificial Intelligence (ICTAI 2017), pp. 1050–1056, 2017
Horn Maximum Satisfiability: Reductions, Algorithms & Applications
Joao Marques-Silva, Alexey Ignatiev, Antonio Morgado
18th EPIA Conference on Artificial Intelligence (EPIA 2017)
Lecture Notes in Computer Science, vol. 10423, pp. 681–694, 2017
On Tackling the Limits of Resolution in SAT Solving [slides]
Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva
20th International Conference on Theory and Applications of Satisfiability Testing (SAT 2017)
Lecture Notes in Computer Science, vol. 10491, pp. 164–183, 2017
Cardinality Encodings for Graph Optimization Problems [slides]
Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva
26th International Joint Conference on Artificial Intelligence (IJCAI 2017), pp. 652–658, 2017
Debugging EL+ Ontologies through Horn MUS Enumeration
Alexey Ignatiev, Joao Marques-Silva, Carlos Mencía, Rafael Peñaloza
30th International Workshop on Description Logics (DL 2017)
Lean Kernels in Description Logics
Rafael Peñaloza, Carlos Mencía, Alexey Ignatiev, Joao Marques-Silva
14th European Semantic Web Conference (ESWC 2017)
Lecture Notes in Computer Science, vol. 10249, pp. 518–533, 2017
Efficient Reasoning for Inconsistent Horn Formulae
Joao Marques-Silva, Alexey Ignatiev, Carlos Mencía, Rafael Peñaloza
15th European Conference On Logics In Artificial Intelligence (JELIA 2016)
Lecture Notes in Computer Science, vol. 10021, pp. 336–352, 2016
On Incremental Core-Guided MaxSAT Solving [slides]
Xujie Si, Xin Zhang, Vasco Manquinho, Mikoláš Janota, Alexey Ignatiev, Mayur Naik
22nd International Conference on Principles and Practice of Constraint Programming (CP 2016)
Lecture Notes in Computer Science, vol. 9892, pp. 473–482, 2016
On Finding Minimum Satisfying Assignments [slides]
Alexey Ignatiev, Alessandro Previti, Joao Marques-Silva
22nd International Conference on Principles and Practice of Constraint Programming (CP 2016)
Lecture Notes in Computer Science, vol. 9892, pp. 287–297, 2016
Propositional Abduction with Implicit Hitting Sets
Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva
22nd European Conference on Artificial Intelligence (ECAI 2016)
IOS Press Frontiers in Artificial Intelligence and Applications, vol. 285, pp. 1327–1335, 2016
BEACON: An Efficient SAT-Based Tool for Debugging EL+ Ontologies
M. Fareed Arif, Carlos Mencía, Alexey Ignatiev, Norbert Manthey, Rafael Peñaloza, Joao Marques-Silva
19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016)
Lecture Notes in Computer Science, vol. 9710, pp. 521–530, 2016
MCS Extraction with Sublinear Oracle Queries
Carlos Mencía, Alexey Ignatiev, Alessandro Previti, Joao Marques-Silva
19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016)
Lecture Notes in Computer Science, vol. 9710, pp. 342–360, 2016
Maximal Falsifiability: Definitions, Algorithms, and Applications
Alexey Ignatiev, Antonio Morgado, Jordi Planes, Joao Marques-Silva
AI Communications vol. 29(2), pp. 351–370, 2016
Quantified Maximum Satisfiability
Alexey Ignatiev, Mikoláš Janota, Joao Marques-Silva
Constraints, vol. 21(2), pp. 277–302, 2016
MSCG: Robust Core-Guided MaxSAT Solving. System Description
Antonio Morgado, Alexey Ignatiev, Joao Marques-Silva
Journal on Satisfiability, Boolean Modeling and Computation, vol. 9, pp. 129–134, 2015
SAT-Based Formula Simplification
Alexey Ignatiev, Alessandro Previti, Joao Marques-Silva
18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015)
Lecture Notes in Computer Science, vol. 9340, pp. 287–298, 2015
Smallest MUS Extraction with Minimal Hitting Set Dualization
Alexey Ignatiev, Alessandro Previti, Mark Liffiton, Joao Marques-Silva
21st International Conference on Principles and Practice of Constraint Programming (CP 2015)
Lecture Notes in Computer Science, vol. 9255, pp. 173–182, 2015
Prime Compilation of Non-Clausal Formulae
Alessandro Previti, Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva
24th International Joint Conference on Artificial Intelligence (IJCAI 2015), pp. 1980–1987, 2015
Efficient Model Based Diagnosis with Maximum Satisfiability [slides]
Joao Marques-Silva, Mikoláš Janota, Alexey Ignatiev, Antonio Morgado
24th International Joint Conference on Artificial Intelligence (IJCAI 2015), pp. 1966–1972, 2015
Progression in Maximum Satisfiability
Alexey Ignatiev, Antonio Morgado, Vasco Manquinho, Ines Lynce, Joao Marques-Silva
21st European Conference on Artificial Intelligence (ECAI 2014)
IOS Press Frontiers in Artificial Intelligence and Applications, vol. 264, pp. 453–458, 2014
Efficient Autarkies
Joao Marques-Silva, Alexey Ignatiev, Antonio Morgado, Vasco Manquinho, Ines Lynce
21st European Conference on Artificial Intelligence (ECAI 2014)
IOS Press Frontiers in Artificial Intelligence and Applications, vol. 264, pp. 603–608, 2014
On Reducing Maximum Independent Set to Minimum Satisfiability [slides]
Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva
17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014)
Lecture Notes in Computer Science, vol. 8561, pp. 103–120, 2014
Towards Efficient Optimization in Package Management Systems [slides]
Alexey Ignatiev, Mikoláš Janota, Joao Marques-Silva
36th International Conference on Software Engineering (ICSE 2014), pp. 745–755, 2014
Maximal Falsifiability: Definitions, Algorithms, and Applications [slides]
Alexey Ignatiev, Antonio Morgado, Jordi Planes, Joao Marques-Silva
19th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2013)
Lecture Notes in Computer Science, vol. 8312, pp. 439–456, 2013
Quantified Maximum Satisfiability: A Core-Guided Approach [slides]
Alexey Ignatiev, Mikoláš Janota, Joao Marques-Silva
16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
Lecture Notes in Computer Science, vol. 7962, pp. 250–266, 2013
DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions [slides]
Alexey Ignatiev, Alexander Semenov
14th International Conference on Theory and Applications of Satisfiability Testing (SAT 2011)
Lecture Notes in Computer Science, vol. 6695, pp. 76–89, 2011
Алгоритмы работы с ROBDD как с базами булевых ограничений (in Russian)
А. С. Игнатьев, А. А. Семенов
Прикладная дискретная математика, № 1, с. 86–104, 2010
Двоичные диаграммы решений в логических уравнениях и задачах обращения дискретных функций (in Russian)
А. Е. Хмельнов, А. С. Игнатьев, А. А. Семенов
Вестник НГУ. Серия: информационные технологии, Т. 7, № 4, с. 36–52, 2009
Использование двоичных диаграмм решений в задачах обращения дискретных функций (in Russian)
А. С. Игнатьев, А. А. Семенов, А. Е. Хмельнов
Вестник ТГУ. Серия: управление, вычислительная техника, Т. 1, № 6, с. 115–129, 2009
Двоичные диаграммы решений в параллельных алгоритмах обращения дискретных функций (in Russian)
А. С. Игнатьев, А. А. Семенов, Д. В. Беспалов
Труды III международной конференции "Параллельные вычислительные технологии" (ПАВТ 2009), с. 688–696, 2009

Jun 25, 2016 11:10:25 WET