Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 155



61
TITLE: Incremental Cardinality Constraints for MaxSAT
AUTHORS: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Inês Lynce ;
PUBLISHED: 2014, SOURCE: 20th International Conference on the Principles and Practice of Constraint Programming, CP 2014 in Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, VOLUME: 8656
INDEXED IN: Scopus DBLP CrossRef: 36
IN MY: ORCID | DBLP | CIÊNCIAVITAE
62
TITLE: Inferring phylogenetic trees using pseudo-Boolean optimization  Full Text
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: ORCID | DBLP | CIÊNCIAVITAE
63
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
64
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: WOS
65
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
66
TITLE: Open-WBO: A Modular MaxSAT Solver,
AUTHORS: Ruben Martins; Vasco Manquinho; Inês Lynce ;
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 Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, VOLUME: 8561
INDEXED IN: Scopus DBLP CrossRef: 71
IN MY: ORCID | DBLP | CIÊNCIAVITAE
67
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
IN MY: ORCID | DBLP | CIÊNCIAVITAE
68
TITLE: SAT Solvers
AUTHORS: Joao Marques Silva ; Inês Lynce ;
PUBLISHED: 2014, SOURCE: Tractability: Practical Approaches to Hard Problems
INDEXED IN: DBLP
IN MY: DBLP
69
TITLE: Community-Based Partitioning for MaxSAT Solving
AUTHORS: Ruben Martins; Vasco Manquinho ; Inês Lynce ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings, VOLUME: 7962
INDEXED IN: Scopus DBLP CrossRef: 13
IN MY: ORCID | DBLP | CIÊNCIAVITAE
70
TITLE: An overview of parallel SAT solving  Full Text
AUTHORS: Martins, R; Manquinho, V ; Lynce, I ;
PUBLISHED: 2012, SOURCE: CONSTRAINTS, VOLUME: 17, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 43
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 7 of 16. Total results: 155.

footer slogan

Useful Links

Get Help

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