Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
51
TITLE: Open-WBO: A modular MaxSAT solver
AUTHORS: Martins, R; Manquinho, V; Lynce, I;
PUBLISHED: 2014, SOURCE: 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8561 LNCS
AUTHORS: Martins, R; Manquinho, V; Lynce, I;
PUBLISHED: 2014, SOURCE: 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8561 LNCS
52
TITLE: Algorithms for computing minimal equivalent subformulas Full Text
AUTHORS: Belov, A; Janota, M; Lynce, I; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 216
AUTHORS: Belov, A; Janota, M; Lynce, I; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 216
53
TITLE: Efficient Autarkies
AUTHORS: Marques Silva, J ; Ignatiev, A; Morgado, António ; Manquinho, V; Lynce, I;
PUBLISHED: 2014, SOURCE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
AUTHORS: Marques Silva, J ; Ignatiev, A; Morgado, António ; Manquinho, V; Lynce, I;
PUBLISHED: 2014, SOURCE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP IN MY: 
ORCID
ORCID54
TITLE: Progression in Maximum Satisfiability
AUTHORS: Ignatiev, A; Morgado, António ; Manquinho, V; Lynce, I; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
AUTHORS: Ignatiev, A; Morgado, António ; Manquinho, V; Lynce, I; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP IN MY: ORCID
ORCID55
TITLE: Incremental cardinality constraints for MaxSAT
AUTHORS: Martins, R; Joshi, S; Manquinho, V; Lynce, I;
PUBLISHED: 2014, SOURCE: 20th International Conference on the Principles and Practice of Constraint Programming, CP 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8656 LNCS
AUTHORS: Martins, R; Joshi, S; Manquinho, V; Lynce, I;
PUBLISHED: 2014, SOURCE: 20th International Conference on the Principles and Practice of Constraint Programming, CP 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8656 LNCS
56
TITLE: Open-WBO: A modular MaxSAT solver
AUTHORS: Martins, R; Manquinho, V; Lynce, I;
PUBLISHED: 2014, SOURCE: 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8561 LNCS
AUTHORS: Martins, R; Manquinho, V; Lynce, I;
PUBLISHED: 2014, SOURCE: 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8561 LNCS
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID57
TITLE: Incremental Cardinality Constraints for MaxSAT
AUTHORS: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Ines Lynce;
PUBLISHED: 2014, SOURCE: 20th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, VOLUME: 8656
AUTHORS: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Ines Lynce;
PUBLISHED: 2014, SOURCE: 20th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, VOLUME: 8656
INDEXED IN: WOS
WOS58
TITLE: Open-WBO: A Modular MaxSAT Solver
AUTHORS: Ruben Martins; Vasco Manquinho; Ines Lynce;
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: Ruben Martins; Vasco Manquinho; Ines Lynce;
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
INDEXED IN: WOS
WOS59
TITLE: Evaluation of a numerical methodology to estimate pedestrians' energy consumption and PM inhalation
AUTHORS: Marta Faria; Goncalo Duarte; Ana Vasconcelos; Tiago Farias;
PUBLISHED: 2014, SOURCE: 17th Meeting of the EURO-Working-Group on Transportation (EWGT) in 17TH MEETING OF THE EURO WORKING GROUP ON TRANSPORTATION, EWGT2014, VOLUME: 3
AUTHORS: Marta Faria; Goncalo Duarte; Ana Vasconcelos; Tiago Farias;
PUBLISHED: 2014, SOURCE: 17th Meeting of the EURO-Working-Group on Transportation (EWGT) in 17TH MEETING OF THE EURO WORKING GROUP ON TRANSPORTATION, EWGT2014, VOLUME: 3
INDEXED IN: WOS
WOS60
TITLE: Towards efficient MUS extraction Full Text
AUTHORS: Anton Belov; Inês Lynce; Joao Marques Silva;
PUBLISHED: 2012, SOURCE: AI Communications, VOLUME: 25, ISSUE: 2
AUTHORS: Anton Belov; Inês Lynce; Joao Marques Silva;
PUBLISHED: 2012, SOURCE: AI Communications, VOLUME: 25, ISSUE: 2
