Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 140



51
TITLE: An ontology-based approach to conflict resolution in Home and Building Automation Systems
AUTHORS: Camacho, R; Carreira, P; Lynce, I ; Resendes, S;
PUBLISHED: 2014, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 41, ISSUE: 14
INDEXED IN: Scopus WOS DBLP CrossRef: 20
IN MY: DBLP
52
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
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: DBLP
53
TITLE: Incremental Cardinality Constraints for MaxSAT
AUTHORS: Ruben Martins; Saurabh Joshi; Vasco Manquinho ; Inês Lynce ;
PUBLISHED: 2014, SOURCE: CP, VOLUME: 8656 LNCS
INDEXED IN: Scopus DBLP CrossRef: 44
IN MY: DBLP
54
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) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, VOLUME: 8656
INDEXED IN: WOS DBLP
IN MY: DBLP
55
TITLE: Inferring phylogenetic trees using pseudo-Boolean optimization
AUTHORS: Miranda, M; Lynce, I ; Manquinho, V ;
PUBLISHED: 2014, SOURCE: AI COMMUNICATIONS, VOLUME: 27, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: DBLP
56
TITLE: On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving
AUTHORS: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Inês Lynce ;
PUBLISHED: 2014, SOURCE: J. Satisf. Boolean Model. Comput., VOLUME: 9, ISSUE: 1
INDEXED IN: DBLP
IN MY: DBLP
57
TITLE: Open-WBO: A modular MaxSAT solver
AUTHORS: Martins, R; Manquinho, V; Lynce, I ;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
58
TITLE: Open-WBO: A Modular MaxSAT Solver
AUTHORS: Martins, R; Manquinho, V ; Lynce, I ;
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: Scopus WOS DBLP CrossRef: 85
IN MY: DBLP
59
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
INDEXED IN: Scopus WOS DBLP CrossRef: 10
IN MY: DBLP
60
TITLE: SAT Solvers
AUTHORS: João Marques Silva ; Inês Lynce ;
PUBLISHED: 2014, SOURCE: Tractability, VOLUME: 9781107025196
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
Page 6 of 14. Total results: 140.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service