Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
51
TÃTULO: Open-WBO: A modular MaxSAT solver
AUTORES: Martins, R; Manquinho, V; Lynce, I;
PUBLICAÇÃO: 2014, FONTE: 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
AUTORES: Martins, R; Manquinho, V; Lynce, I;
PUBLICAÇÃO: 2014, FONTE: 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
TÃTULO: Algorithms for computing minimal equivalent subformulas Full Text
AUTORES: Belov, A; Janota, M; Lynce, I; Marques Silva, J ;
PUBLICAÇÃO: 2014, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 216
AUTORES: Belov, A; Janota, M; Lynce, I; Marques Silva, J ;
PUBLICAÇÃO: 2014, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 216
53
TÃTULO: Efficient Autarkies
AUTORES: Marques Silva, J ; Ignatiev, A; Morgado, António ; Manquinho, V; Lynce, I;
PUBLICAÇÃO: 2014, FONTE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
AUTORES: Marques Silva, J ; Ignatiev, A; Morgado, António ; Manquinho, V; Lynce, I;
PUBLICAÇÃO: 2014, FONTE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
INDEXADO EM: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP NO MEU: 
ORCID
ORCID54
TÃTULO: Progression in Maximum Satisfiability
AUTORES: Ignatiev, A; Morgado, António ; Manquinho, V; Lynce, I; Marques Silva, J ;
PUBLICAÇÃO: 2014, FONTE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
AUTORES: Ignatiev, A; Morgado, António ; Manquinho, V; Lynce, I; Marques Silva, J ;
PUBLICAÇÃO: 2014, FONTE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
INDEXADO EM: Scopus WOS DBLP
Scopus WOS DBLP NO MEU: ORCID
ORCID55
TÃTULO: Incremental cardinality constraints for MaxSAT
AUTORES: Martins, R; Joshi, S; Manquinho, V; Lynce, I;
PUBLICAÇÃO: 2014, FONTE: 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
AUTORES: Martins, R; Joshi, S; Manquinho, V; Lynce, I;
PUBLICAÇÃO: 2014, FONTE: 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
TÃTULO: Open-WBO: A modular MaxSAT solver
AUTORES: Martins, R; Manquinho, V; Lynce, I;
PUBLICAÇÃO: 2014, FONTE: 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
AUTORES: Martins, R; Manquinho, V; Lynce, I;
PUBLICAÇÃO: 2014, FONTE: 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
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID57
TÃTULO: Incremental Cardinality Constraints for MaxSAT
AUTORES: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Ines Lynce;
PUBLICAÇÃO: 2014, FONTE: 20th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, VOLUME: 8656
AUTORES: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Ines Lynce;
PUBLICAÇÃO: 2014, FONTE: 20th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, VOLUME: 8656
INDEXADO EM: WOS
WOS58
TÃTULO: Open-WBO: A Modular MaxSAT Solver
AUTORES: Ruben Martins; Vasco Manquinho; Ines Lynce;
PUBLICAÇÃO: 2014, FONTE: 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
AUTORES: Ruben Martins; Vasco Manquinho; Ines Lynce;
PUBLICAÇÃO: 2014, FONTE: 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
INDEXADO EM: WOS
WOS59
TÃTULO: Evaluation of a numerical methodology to estimate pedestrians' energy consumption and PM inhalation
AUTORES: Marta Faria; Goncalo Duarte; Ana Vasconcelos; Tiago Farias;
PUBLICAÇÃO: 2014, FONTE: 17th Meeting of the EURO-Working-Group on Transportation (EWGT) in 17TH MEETING OF THE EURO WORKING GROUP ON TRANSPORTATION, EWGT2014, VOLUME: 3
AUTORES: Marta Faria; Goncalo Duarte; Ana Vasconcelos; Tiago Farias;
PUBLICAÇÃO: 2014, FONTE: 17th Meeting of the EURO-Working-Group on Transportation (EWGT) in 17TH MEETING OF THE EURO WORKING GROUP ON TRANSPORTATION, EWGT2014, VOLUME: 3
INDEXADO EM: WOS
WOS60
TÃTULO: Towards efficient MUS extraction Full Text
AUTORES: Anton Belov; Inês Lynce; Joao Marques Silva;
PUBLICAÇÃO: 2012, FONTE: AI Communications, VOLUME: 25, NÚMERO: 2
AUTORES: Anton Belov; Inês Lynce; Joao Marques Silva;
PUBLICAÇÃO: 2012, FONTE: AI Communications, VOLUME: 25, NÚMERO: 2
