Alexey S. Ignatiev
AuthID: R-004-VTB
11
TITLE: A Scalable Two Stage Approach to Computing Optimal Decision Sets
AUTHORS: Alexey Ignatiev; Edward Lam; Peter J Stuckey; Joao Marques Silva;
PUBLISHED: 2021, SOURCE: 35th AAAI Conference on Artificial Intelligence, AAAI 2021, VOLUME: 5A
AUTHORS: Alexey Ignatiev; Edward Lam; Peter J Stuckey; Joao Marques Silva;
PUBLISHED: 2021, SOURCE: 35th AAAI Conference on Artificial Intelligence, AAAI 2021, VOLUME: 5A
INDEXED IN: 
Scopus
Scopus12
TITLE: Towards Formal Fairness in Machine Learning
AUTHORS: Alexey Ignatiev; Martin C Cooper; Mohamed Siala; Emmanuel Hebrard; Joao Marques Silva;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12333 LNCS
AUTHORS: Alexey Ignatiev; Martin C Cooper; Mohamed Siala; Emmanuel Hebrard; Joao Marques Silva;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12333 LNCS
13
TITLE: Explaining naive bayes and other linear classifiers with polynomial time and delay
AUTHORS: Joao Marques Silva; Thomas Gerspacher; Martin C Cooper; Alexey Ignatiev; Nina Narodytska;
PUBLISHED: 2020, SOURCE: Advances in Neural Information Processing Systems, VOLUME: 2020-December
AUTHORS: Joao Marques Silva; Thomas Gerspacher; Martin C Cooper; Alexey Ignatiev; Nina Narodytska;
PUBLISHED: 2020, SOURCE: Advances in Neural Information Processing Systems, VOLUME: 2020-December
INDEXED IN: Scopus
Scopus14
TITLE: Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference
AUTHORS: Ilya Zakirzyanov; Morgado, António ; Alexey Ignatiev; Vladimir Ulyantsev; João Marques Silva ;
PUBLISHED: 2019, SOURCE: 13th International Conference on Language and Automata Theory and Applications, LATA 2019 in Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, VOLUME: 11417
AUTHORS: Ilya Zakirzyanov; Morgado, António ; Alexey Ignatiev; Vladimir Ulyantsev; João Marques Silva ;
PUBLISHED: 2019, SOURCE: 13th International Conference on Language and Automata Theory and Applications, LATA 2019 in Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, VOLUME: 11417
15
TITLE: On Computing the Union of MUSes
AUTHORS: Mencía, C; Kullmann, O; Ignatiev, A; Marques Silva, J ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11628 LNCS
AUTHORS: Mencía, C; Kullmann, O; Ignatiev, A; Marques Silva, J ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11628 LNCS
16
TITLE: DRMaxSAT with MaxHS: First Contact
AUTHORS: Morgado, António ; Ignatiev, A; Bonet, ML; Marques Silva, J ; Buss, S;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628
AUTHORS: Morgado, António ; Ignatiev, A; Bonet, ML; Marques Silva, J ; Buss, S;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628
17
TITLE: Assessing Heuristic Machine Learning Explanations with Model Counting
AUTHORS: Narodytska, N; Shrotri, A; Meel, KS; Ignatiev, A; Marques Silva, J ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628
AUTHORS: Narodytska, N; Shrotri, A; Meel, KS; Ignatiev, A; Marques Silva, J ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628
18
TITLE: Model-Based Diagnosis with Multiple Observations
AUTHORS: Alexey Ignatiev; Morgado, António ; Georg Weissenbacher; João Marques Silva ;
PUBLISHED: 2019, SOURCE: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019, VOLUME: 2019-August
AUTHORS: Alexey Ignatiev; Morgado, António ; Georg Weissenbacher; João Marques Silva ;
PUBLISHED: 2019, SOURCE: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019, VOLUME: 2019-August
19
TITLE: DRMaxSAT with MaxHS: First Contact
AUTHORS: Morgado, António ; Alexey Ignatiev; Maria Luisa Bonet; João Marques Silva; Sam Buss;
PUBLISHED: 2019, SOURCE: Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings, VOLUME: 11628
AUTHORS: Morgado, António ; Alexey Ignatiev; Maria Luisa Bonet; João Marques Silva; Sam Buss;
PUBLISHED: 2019, SOURCE: Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings, VOLUME: 11628
INDEXED IN: 
DBLP
DBLP20
TITLE: RC2: an Efficient MaxSAT Solver
AUTHORS: Alexey Ignatiev; Morgado, António ; João Marques Silva;
PUBLISHED: 2019, SOURCE: J. Satisf. Boolean Model. Comput., VOLUME: 11, ISSUE: 1
AUTHORS: Alexey Ignatiev; Morgado, António ; João Marques Silva;
PUBLISHED: 2019, SOURCE: J. Satisf. Boolean Model. Comput., VOLUME: 11, ISSUE: 1
INDEXED IN: DBLP
DBLP