Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
41
TITLE: Non-Portfolio Approaches for Distributed Maximum Satisfiability
AUTHORS: Terra Neves, M; Lynce, I; Manquinho, V;
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: Terra Neves, M; Lynce, I; Manquinho, V;
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: 
Scopus 
WOS
Scopus WOS IN MY: 
ORCID
ORCID42
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
43
TITLE: Improving linear search algorithms with model-based approaches for MaxSAT solving
AUTHORS: Martins, R; Manquinho, V; Lynce, I;
PUBLISHED: 2015, SOURCE: Journal of Experimental and Theoretical Artificial Intelligence
AUTHORS: Martins, R; Manquinho, V; Lynce, I;
PUBLISHED: 2015, SOURCE: Journal of Experimental and Theoretical Artificial Intelligence
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID44
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
45
TITLE: Improving linear search algorithms with model-based approaches for MaxSAT solving Full Text
AUTHORS: Ruben Martins; Vasco Manquinho; Inês Lynce;
PUBLISHED: 2015, SOURCE: Journal of Experimental & Theoretical Artificial Intelligence, VOLUME: 27, ISSUE: 5
AUTHORS: Ruben Martins; Vasco Manquinho; Inês Lynce;
PUBLISHED: 2015, SOURCE: Journal of Experimental & Theoretical Artificial Intelligence, VOLUME: 27, ISSUE: 5
46
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
47
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
48
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
49
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
50
TITLE: Inferring phylogenetic trees using pseudo-Boolean optimization
AUTHORS: Miranda, M; Lynce, I; Manquinho, V;
PUBLISHED: 2014, SOURCE: AI COMMUNICATIONS, VOLUME: 27, ISSUE: 3
AUTHORS: Miranda, M; Lynce, I; Manquinho, V;
PUBLISHED: 2014, SOURCE: AI COMMUNICATIONS, VOLUME: 27, ISSUE: 3
