Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
51
TITLE: Non-Portfolio Approaches for Distributed Maximum Satisfiability
AUTHORS: Miguel Terra Neves; Ines Lynce; Vasco Manquinho;
PUBLISHED: 2016, SOURCE: 28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2016 IEEE 28TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2016)
AUTHORS: Miguel Terra Neves; Ines Lynce; Vasco Manquinho;
PUBLISHED: 2016, SOURCE: 28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2016 IEEE 28TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2016)
INDEXED IN: 
WOS
WOS52
TITLE: Algorithms for computing backbones of propositional formulae Full Text
AUTHORS: Janota, M; Lynce, I; Marques Sliva, J ;
PUBLISHED: 2015, SOURCE: AI COMMUNICATIONS, VOLUME: 28, ISSUE: 2
AUTHORS: Janota, M; Lynce, I; Marques Sliva, J ;
PUBLISHED: 2015, SOURCE: AI COMMUNICATIONS, VOLUME: 28, ISSUE: 2
53
TITLE: Deterministic Parallel MaxSAT Solving
AUTHORS: Ruben Martins; Vasco Manquinho; Ines Lynce;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 24, ISSUE: 3
AUTHORS: Ruben Martins; Vasco Manquinho; Ines Lynce;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 24, ISSUE: 3
54
TITLE: Exploiting Resolution-Based Representations for MaxSAT Solving
AUTHORS: Miguel Neves; Ruben Martins; Mikolas Janota; Ines Lynce; Vasco Manquinho;
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: Miguel Neves; Ruben Martins; Mikolas Janota; Ines Lynce; Vasco Manquinho;
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
55
TITLE: Comparison of particulate matter inhalation for users of different transport modes in Lisbon
AUTHORS: Maria Joao Ramos; Ana Vasconcelos; Marta Faria;
PUBLISHED: 2015, SOURCE: 18th Euro Working Group Transportation in 18TH EURO WORKING GROUP ON TRANSPORTATION, EWGT 2015, VOLUME: 10
AUTHORS: Maria Joao Ramos; Ana Vasconcelos; Marta Faria;
PUBLISHED: 2015, SOURCE: 18th Euro Working Group Transportation in 18TH EURO WORKING GROUP ON TRANSPORTATION, EWGT 2015, VOLUME: 10
56
TITLE: Electric vehicle parking in European and American context: Economic, energy and environmental analysis Full Text
AUTHORS: Marta V Faria; Patricia C Baptista; Tiago L Farias;
PUBLISHED: 2014, SOURCE: TRANSPORTATION RESEARCH PART A-POLICY AND PRACTICE, VOLUME: 64
AUTHORS: Marta V Faria; Patricia C Baptista; Tiago L Farias;
PUBLISHED: 2014, SOURCE: TRANSPORTATION RESEARCH PART A-POLICY AND PRACTICE, VOLUME: 64
57
TITLE: An ontology-based approach to conflict resolution in Home and Building Automation Systems Full Text
AUTHORS: Rui Camacho; Paulo Carreira; Ines Lynce; Silvia Resendes;
PUBLISHED: 2014, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 41, ISSUE: 14
AUTHORS: Rui Camacho; Paulo Carreira; Ines Lynce; Silvia Resendes;
PUBLISHED: 2014, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 41, ISSUE: 14
58
TITLE: Inferring phylogenetic trees using pseudo-Boolean optimization
AUTHORS: Miguel Miranda; Ines Lynce; Vasco Manquinho;
PUBLISHED: 2014, SOURCE: AI COMMUNICATIONS, VOLUME: 27, ISSUE: 3
AUTHORS: Miguel Miranda; Ines Lynce; Vasco Manquinho;
PUBLISHED: 2014, SOURCE: AI COMMUNICATIONS, VOLUME: 27, ISSUE: 3
INDEXED IN: 
Scopus WOS
Scopus WOS IN MY: 
ORCID
ORCID59
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
60
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
ORCID