Alexey S. Ignatiev
AuthID: R-004-VTB
21
TÃTULO: RC2: an Efficient MaxSAT Solver
AUTORES: Alexey Ignatiev; Morgado, António ; João Marques Silva;
PUBLICAÇÃO: 2019, FONTE: J. Satisf. Boolean Model. Comput., VOLUME: 11, NÚMERO: 1
AUTORES: Alexey Ignatiev; Morgado, António ; João Marques Silva;
PUBLICAÇÃO: 2019, FONTE: J. Satisf. Boolean Model. Comput., VOLUME: 11, NÚMERO: 1
INDEXADO EM: 
DBLP
DBLP22
TÃTULO: On relating explanations and adversarial examples
AUTORES: Alexey Ignatiev; Nina Narodytska; Joao Marques Silva;
PUBLICAÇÃO: 2019, FONTE: Advances in Neural Information Processing Systems, VOLUME: 32
AUTORES: Alexey Ignatiev; Nina Narodytska; Joao Marques Silva;
PUBLICAÇÃO: 2019, FONTE: Advances in Neural Information Processing Systems, VOLUME: 32
INDEXADO EM: 
Scopus
Scopus23
TÃTULO: MaxSAT Resolution with the Dual Rail Encoding
AUTORES: Bonet, ML; Buss, S; Ignatiev, A; Marques Silva, J ; Morgado, António ;
PUBLICAÇÃO: 2018, FONTE: 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
AUTORES: Bonet, ML; Buss, S; Ignatiev, A; Marques Silva, J ; Morgado, António ;
PUBLICAÇÃO: 2018, FONTE: 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
INDEXADO EM: Scopus 
WOS DBLP
Scopus WOS DBLP24
TÃTULO: A SAT-Based Approach to Learn Explainable Decision Sets
AUTORES: Alexey Ignatiev; Filipe Pereira; Nina Narodytska; Joao Marques Silva ;
PUBLICAÇÃO: 2018, FONTE: 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
AUTORES: Alexey Ignatiev; Filipe Pereira; Nina Narodytska; Joao Marques Silva ;
PUBLICAÇÃO: 2018, FONTE: 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
INDEXADO EM: DBLP
DBLP25
TÃTULO: Learning Optimal Decision Trees with SAT
AUTORES: Nina Narodytska; Alexey Ignatiev; Filipe Pereira; Joao Marques Silva ;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.
AUTORES: Nina Narodytska; Alexey Ignatiev; Filipe Pereira; Joao Marques Silva ;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.
INDEXADO EM: DBLP
DBLP26
TÃTULO: PySAT: A Python Toolkit for Prototyping with SAT Oracles
AUTORES: Alexey Ignatiev; Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2018, FONTE: 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
AUTORES: Alexey Ignatiev; Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2018, FONTE: 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
INDEXADO EM: DBLP
DBLP27
TÃTULO: PySAT: A Python Toolkit for Prototyping with SAT Oracles
AUTORES: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLICAÇÃO: 2018, FONTE: 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
AUTORES: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLICAÇÃO: 2018, FONTE: 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
28
TÃTULO: On Cryptographic Attacks Using Backdoors for SAT
AUTORES: Alexander Semenov; Oleg Zaikin; Ilya Otpuschennikov; Stepan Kochemazov; Alexey Ignatiev;
PUBLICAÇÃO: 2018, FONTE: 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
AUTORES: Alexander Semenov; Oleg Zaikin; Ilya Otpuschennikov; Stepan Kochemazov; Alexey Ignatiev;
PUBLICAÇÃO: 2018, FONTE: 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
INDEXADO EM: WOS
WOS29
TÃTULO: Lean Kernels in Description Logics
AUTORES: Rafael Peñaloza; Carlos Mencía; Alexey Ignatiev; Joao Marques Silva ;
PUBLICAÇÃO: 2017, FONTE: 14th Extended Semantic Web Conference, ESWC 2017 in The Semantic Web - 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part I, VOLUME: 10249
AUTORES: Rafael Peñaloza; Carlos Mencía; Alexey Ignatiev; Joao Marques Silva ;
PUBLICAÇÃO: 2017, FONTE: 14th Extended Semantic Web Conference, ESWC 2017 in The Semantic Web - 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part I, VOLUME: 10249
30
TÃTULO: On Tackling the Limits of Resolution in SAT Solving
AUTORES: Alexey Ignatiev; Morgado, António ; Joao Marques Silva ;
PUBLICAÇÃO: 2017, FONTE: Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, VOLUME: 10491
AUTORES: Alexey Ignatiev; Morgado, António ; Joao Marques Silva ;
PUBLICAÇÃO: 2017, FONTE: Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, VOLUME: 10491
INDEXADO EM: DBLP
DBLP