Alexey S. Ignatiev
AuthID: R-004-VTB
51
TITLE: On Reducing Maximum Independent Set to Minimum Satisfiability
AUTHORS: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FLoC) / Vienna Summer of Logic (VSL) Conference in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014, VOLUME: 8561
AUTHORS: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FLoC) / Vienna Summer of Logic (VSL) Conference in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014, VOLUME: 8561
52
TITLE: Towards Efficient Optimization in Package Management Systems
AUTHORS: Ignatiev, A; Janota, M; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: 36th International Conference on Software Engineering (ICSE) in 36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2014), ISSUE: 1
AUTHORS: Ignatiev, A; Janota, M; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: 36th International Conference on Software Engineering (ICSE) in 36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2014), ISSUE: 1
53
TITLE: Quantified Maximum Satisfiability: - A Core-Guided Approach
AUTHORS: Alexey Ignatiev; Mikolás Janota; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings, VOLUME: 7962
AUTHORS: Alexey Ignatiev; Mikolás Janota; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings, VOLUME: 7962
54
TITLE: Maximal Falsifiability - Definitions, Algorithms, and Applications
AUTHORS: Alexey Ignatiev; Morgado, António ; Jordi Planes; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, VOLUME: 8312
AUTHORS: Alexey Ignatiev; Morgado, António ; Jordi Planes; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, VOLUME: 8312
55
TITLE: Quantified Maximum Satisfiability:
AUTHORS: Alexey Ignatiev; Mikoláš Janota; Joao Marques Silva;
PUBLISHED: 2013, SOURCE: Lecture Notes in Computer Science
AUTHORS: Alexey Ignatiev; Mikoláš Janota; Joao Marques Silva;
PUBLISHED: 2013, SOURCE: Lecture Notes in Computer Science
INDEXED IN: 
Unpaywall
Unpaywall