Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
41
TÃTULO: Non-Portfolio Approaches for Distributed Maximum Satisfiability
AUTORES: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLICAÇÃO: 2016, FONTE: 28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2016 IEEE 28TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2016)
AUTORES: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLICAÇÃO: 2016, FONTE: 28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2016 IEEE 28TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2016)
INDEXADO EM: 
Scopus 
WOS
Scopus WOS NO MEU: 
ORCID
ORCID42
TÃTULO: Algorithms for computing backbones of propositional formulae Full Text
AUTORES: Janota, M; Lynce, I; Marques Sliva, J ;
PUBLICAÇÃO: 2015, FONTE: AI COMMUNICATIONS, VOLUME: 28, NÚMERO: 2
AUTORES: Janota, M; Lynce, I; Marques Sliva, J ;
PUBLICAÇÃO: 2015, FONTE: AI COMMUNICATIONS, VOLUME: 28, NÚMERO: 2
43
TÃTULO: Improving linear search algorithms with model-based approaches for MaxSAT solving
AUTORES: Martins, R; Manquinho, V; Lynce, I;
PUBLICAÇÃO: 2015, FONTE: Journal of Experimental and Theoretical Artificial Intelligence
AUTORES: Martins, R; Manquinho, V; Lynce, I;
PUBLICAÇÃO: 2015, FONTE: Journal of Experimental and Theoretical Artificial Intelligence
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID44
TÃTULO: Deterministic Parallel MaxSAT Solving
AUTORES: Ruben Martins; Vasco Manquinho; Ines Lynce;
PUBLICAÇÃO: 2015, FONTE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 24, NÚMERO: 3
AUTORES: Ruben Martins; Vasco Manquinho; Ines Lynce;
PUBLICAÇÃO: 2015, FONTE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 24, NÚMERO: 3
45
TÃTULO: Improving linear search algorithms with model-based approaches for MaxSAT solving Full Text
AUTORES: Ruben Martins; Vasco Manquinho; Inês Lynce;
PUBLICAÇÃO: 2015, FONTE: Journal of Experimental & Theoretical Artificial Intelligence, VOLUME: 27, NÚMERO: 5
AUTORES: Ruben Martins; Vasco Manquinho; Inês Lynce;
PUBLICAÇÃO: 2015, FONTE: Journal of Experimental & Theoretical Artificial Intelligence, VOLUME: 27, NÚMERO: 5
46
TÃTULO: Exploiting Resolution-Based Representations for MaxSAT Solving
AUTORES: Miguel Neves; Ruben Martins; Mikolas Janota; Ines Lynce; Vasco Manquinho;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
AUTORES: Miguel Neves; Ruben Martins; Mikolas Janota; Ines Lynce; Vasco Manquinho;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
47
TÃTULO: Comparison of particulate matter inhalation for users of different transport modes in Lisbon
AUTORES: Maria Joao Ramos; Ana Vasconcelos; Marta Faria;
PUBLICAÇÃO: 2015, FONTE: 18th Euro Working Group Transportation in 18TH EURO WORKING GROUP ON TRANSPORTATION, EWGT 2015, VOLUME: 10
AUTORES: Maria Joao Ramos; Ana Vasconcelos; Marta Faria;
PUBLICAÇÃO: 2015, FONTE: 18th Euro Working Group Transportation in 18TH EURO WORKING GROUP ON TRANSPORTATION, EWGT 2015, VOLUME: 10
48
TÃTULO: Electric vehicle parking in European and American context: Economic, energy and environmental analysis Full Text
AUTORES: Marta V Faria; Patricia C Baptista; Tiago L Farias;
PUBLICAÇÃO: 2014, FONTE: TRANSPORTATION RESEARCH PART A-POLICY AND PRACTICE, VOLUME: 64
AUTORES: Marta V Faria; Patricia C Baptista; Tiago L Farias;
PUBLICAÇÃO: 2014, FONTE: TRANSPORTATION RESEARCH PART A-POLICY AND PRACTICE, VOLUME: 64
49
TÃTULO: An ontology-based approach to conflict resolution in Home and Building Automation Systems Full Text
AUTORES: Rui Camacho; Paulo Carreira; Ines Lynce; Silvia Resendes;
PUBLICAÇÃO: 2014, FONTE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 41, NÚMERO: 14
AUTORES: Rui Camacho; Paulo Carreira; Ines Lynce; Silvia Resendes;
PUBLICAÇÃO: 2014, FONTE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 41, NÚMERO: 14
50
TÃTULO: Inferring phylogenetic trees using pseudo-Boolean optimization
AUTORES: Miranda, M; Lynce, I; Manquinho, V;
PUBLICAÇÃO: 2014, FONTE: AI COMMUNICATIONS, VOLUME: 27, NÚMERO: 3
AUTORES: Miranda, M; Lynce, I; Manquinho, V;
PUBLICAÇÃO: 2014, FONTE: AI COMMUNICATIONS, VOLUME: 27, NÚMERO: 3
