Alexey S. Ignatiev
AuthID: R-004-VTB
41
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
WOS42
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
43
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
44
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
WOS45
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 DBLP46
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 DBLP47
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
Scopus48
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
CrossRef49
TITLE: SAT-Based Formula Simplification
AUTHORS: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, VOLUME: 9340
AUTHORS: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, VOLUME: 9340
INDEXED IN: DBLP
DBLP50
TITLE: SAT-Based Formula Simplification
AUTHORS: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva;
PUBLISHED: 2015, SOURCE: Theory and Applications of Satisfiability Testing -- SAT 2015
AUTHORS: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva;
PUBLISHED: 2015, SOURCE: Theory and Applications of Satisfiability Testing -- SAT 2015
INDEXED IN: 
Unpaywall
Unpaywall