Alexey S. Ignatiev
AuthID: R-004-VTB
41
TITLE: On Incremental Core-Guided MaxSAT Solving
AUTHORS: Xujie J Si; Xin Zhang; Vasco Manquinho; Mikolas Janota; Alexey Ignatiev; Mayur Naik;
PUBLISHED: 2016, SOURCE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
AUTHORS: Xujie J Si; Xin Zhang; Vasco Manquinho; Mikolas Janota; Alexey Ignatiev; Mayur Naik;
PUBLISHED: 2016, SOURCE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
42
TITLE: Propositional Abduction with Implicit Hitting Sets
AUTHORS: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: 22nd European Conference on Artificial Intelligence (ECAI) in ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 285
AUTHORS: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: 22nd European Conference on Artificial Intelligence (ECAI) in ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 285
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP43
TITLE: MCS Extraction with Sublinear Oracle Queries
AUTHORS: Carlos Mencia; Alexey Ignatiev; Alessandro Previti; Joao Marques Silva;
PUBLISHED: 2016, SOURCE: 19th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, VOLUME: 9710
AUTHORS: Carlos Mencia; Alexey Ignatiev; Alessandro Previti; Joao Marques Silva;
PUBLISHED: 2016, SOURCE: 19th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, VOLUME: 9710
INDEXED IN: WOS
WOS44
TITLE: Efficient Reasoning for Inconsistent Horn Formulae
AUTHORS: Joao Marques-Silva; Alexey Ignatiev; Carlos Mencía; Rafael Peñaloza;
PUBLISHED: 2016, SOURCE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
AUTHORS: Joao Marques-Silva; Alexey Ignatiev; Carlos Mencía; Rafael Peñaloza;
PUBLISHED: 2016, SOURCE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
45
TITLE: Smallest MUS Extraction with Minimal Hitting Set Dualization
AUTHORS: Ignatiev, A; Previti, A; Liffiton, M; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 21st International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, VOLUME: 9255
AUTHORS: Ignatiev, A; Previti, A; Liffiton, M; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 21st International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, VOLUME: 9255
46
TITLE: SAT-Based Formula Simplification
AUTHORS: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
AUTHORS: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
INDEXED IN: WOS
WOS47
TITLE: Prime Compilation of Non-Clausal Formulae
AUTHORS: Alessandro Previti; Alexey Ignatiev; Morgado, António ; João Marques Silva ;
PUBLISHED: 2015, SOURCE: 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, VOLUME: 2015-January
AUTHORS: Alessandro Previti; Alexey Ignatiev; Morgado, António ; João Marques Silva ;
PUBLISHED: 2015, SOURCE: 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, VOLUME: 2015-January
INDEXED IN: Scopus DBLP
Scopus DBLP48
TITLE: Efficient Model Based Diagnosis with Maximum Satisfiability
AUTHORS: João Marques Silva ; Mikolás Janota; Alexey Ignatiev; Morgado, António ;
PUBLISHED: 2015, SOURCE: 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, VOLUME: 2015-January
AUTHORS: João Marques Silva ; Mikolás Janota; Alexey Ignatiev; Morgado, António ;
PUBLISHED: 2015, SOURCE: 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, VOLUME: 2015-January
INDEXED IN: Scopus DBLP
Scopus DBLP49
TITLE: SAT-based formula simplification
AUTHORS: Ignatiev, A; Previti, A; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9340
AUTHORS: Ignatiev, A; Previti, A; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9340
INDEXED IN: Scopus
Scopus50
TITLE: SAT-Based Formula Simplification
AUTHORS: Alexey Ignatiev; Alessandro Previti; Joao Marques-Silva;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing -- SAT 2015
AUTHORS: Alexey Ignatiev; Alessandro Previti; Joao Marques-Silva;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing -- SAT 2015
INDEXED IN: 
CrossRef
CrossRef