Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
61
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
ORCID62
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
63
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
WOS64
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
WOS65
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
WOS66
TITLE: Haplotype inference using propositional satisfiability
AUTHORS: Graca, A; Marques Silva, J ; Lynce, I;
PUBLISHED: 2011, SOURCE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
AUTHORS: Graca, A; Marques Silva, J ; Lynce, I;
PUBLISHED: 2011, SOURCE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
67
TITLE: SAT solvers
AUTHORS: Joao Marques Silva ; Ines Lynce;
PUBLISHED: 2011, SOURCE: Tractability, VOLUME: 9781107025196
AUTHORS: Joao Marques Silva ; Ines Lynce;
PUBLISHED: 2011, SOURCE: Tractability, VOLUME: 9781107025196
68
TITLE: Boolean Lexicographic Optimization PDF
AUTHORS: Joao Marques Silva ; Josep Argelich; Ana Graça; Inês Lynce;
PUBLISHED: 2010, SOURCE: 17th RCRA 2010 Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion in Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR 2010, Bologna, Italy, June 10-11, 2010, VOLUME: 616
AUTHORS: Joao Marques Silva ; Josep Argelich; Ana Graça; Inês Lynce;
PUBLISHED: 2010, SOURCE: 17th RCRA 2010 Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion in Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR 2010, Bologna, Italy, June 10-11, 2010, VOLUME: 616
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: ORCID
ORCID69
TITLE: Apt-pbo. solving the software dependency problem using pseudo-boolean optimization
AUTHORS: Paulo Trezentos; Inês Lynce; Arlindo L Oliveira ;
PUBLISHED: 2010, SOURCE: Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10
AUTHORS: Paulo Trezentos; Inês Lynce; Arlindo L Oliveira ;
PUBLISHED: 2010, SOURCE: Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10
70
TITLE: The Seventh QBF Solvers Evaluation (QBFEVAL'10)
AUTHORS: Claudia Peschiera; Luca Pulina; Armando Tacchella; Uwe Bubeck; Oliver Kullmann; Ines Lynce;
PUBLISHED: 2010, SOURCE: 13th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS, VOLUME: 6175
AUTHORS: Claudia Peschiera; Luca Pulina; Armando Tacchella; Uwe Bubeck; Oliver Kullmann; Ines Lynce;
PUBLISHED: 2010, SOURCE: 13th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS, VOLUME: 6175
INDEXED IN: WOS
WOS