Alexey S. Ignatiev
AuthID: R-004-VTB
21
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
DBLP22
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
DBLP23
TITLE: Abduction-based explanations for machine learning models
AUTHORS: Alexey Ignatiev; Nina Narodytska; Joao Marques Silva;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019
AUTHORS: Alexey Ignatiev; Nina Narodytska; Joao Marques Silva;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019
INDEXED IN: 
Scopus
Scopus24
TITLE: On relating explanations and adversarial examples
AUTHORS: Alexey Ignatiev; Nina Narodytska; Joao Marques Silva;
PUBLISHED: 2019, SOURCE: Advances in Neural Information Processing Systems, VOLUME: 32
AUTHORS: Alexey Ignatiev; Nina Narodytska; Joao Marques Silva;
PUBLISHED: 2019, SOURCE: Advances in Neural Information Processing Systems, VOLUME: 32
INDEXED IN: Scopus
Scopus25
TITLE: MaxSAT Resolution with the Dual Rail Encoding
AUTHORS: Bonet, ML; Buss, S; Ignatiev, A; Marques Silva, J ; Morgado, António ;
PUBLISHED: 2018, SOURCE: 32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
AUTHORS: Bonet, ML; Buss, S; Ignatiev, A; Marques Silva, J ; Morgado, António ;
PUBLISHED: 2018, SOURCE: 32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP26
TITLE: A SAT-Based Approach to Learn Explainable Decision Sets
AUTHORS: Alexey Ignatiev; Filipe Pereira; Nina Narodytska; Joao Marques Silva ;
PUBLISHED: 2018, SOURCE: Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, VOLUME: 10900
AUTHORS: Alexey Ignatiev; Filipe Pereira; Nina Narodytska; Joao Marques Silva ;
PUBLISHED: 2018, SOURCE: Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, VOLUME: 10900
INDEXED IN: DBLP
DBLP27
TITLE: Learning Optimal Decision Trees with SAT
AUTHORS: Nina Narodytska; Alexey Ignatiev; Filipe Pereira; Joao Marques Silva ;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.
AUTHORS: Nina Narodytska; Alexey Ignatiev; Filipe Pereira; Joao Marques Silva ;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.
INDEXED IN: DBLP
DBLP28
TITLE: PySAT: A Python Toolkit for Prototyping with SAT Oracles
AUTHORS: Alexey Ignatiev; Morgado, António ; João Marques Silva ;
PUBLISHED: 2018, SOURCE: Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings, VOLUME: 10929
AUTHORS: Alexey Ignatiev; Morgado, António ; João Marques Silva ;
PUBLISHED: 2018, SOURCE: Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings, VOLUME: 10929
INDEXED IN: DBLP
DBLP29
TITLE: PySAT: A Python Toolkit for Prototyping with SAT Oracles
AUTHORS: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLISHED: 2018, SOURCE: 21st International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FloC) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2018, VOLUME: 10929
AUTHORS: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLISHED: 2018, SOURCE: 21st International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FloC) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2018, VOLUME: 10929
30
TITLE: On Cryptographic Attacks Using Backdoors for SAT
AUTHORS: Alexander Semenov; Oleg Zaikin; Ilya Otpuschennikov; Stepan Kochemazov; Alexey Ignatiev;
PUBLISHED: 2018, SOURCE: 32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
AUTHORS: Alexander Semenov; Oleg Zaikin; Ilya Otpuschennikov; Stepan Kochemazov; Alexey Ignatiev;
PUBLISHED: 2018, SOURCE: 32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
INDEXED IN: WOS
WOS