Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 140



101
TITLE: Sequential Encodings from Max-CSP into Partial Max-SAT
AUTHORS: Argelich, J; Cabiscol, A; Lynce, I ; Manyà, F;
PUBLISHED: 2009, SOURCE: 12th International Conference on Theory and Applications of Statisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS, VOLUME: 5584
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: DBLP
102
TITLE: Backtracking
AUTHORS: Inês Lynce ; Vasco Manquinho ; João Marques Silva ;
PUBLISHED: 2008, SOURCE: Wiley Encyclopedia of Computer Science and Engineering
INDEXED IN: DBLP CrossRef
IN MY: DBLP
103
TITLE: Boosting haplotype inference with local search  Full Text
AUTHORS: Lynce, I ; Marques Silva, J ; Prestwich, S;
PUBLISHED: 2008, SOURCE: CONSTRAINTS, VOLUME: 13, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef: 11 Unpaywall
IN MY: ORCID | DBLP
104
TITLE: CNF Instances from the Software Package Installation Problem
AUTHORS: Josep Argelich; Inês Lynce ;
PUBLISHED: 2008, SOURCE: RCRA, VOLUME: 451
INDEXED IN: Scopus DBLP
IN MY: DBLP
105
TITLE: Efficient haplotype inference with combined CP and OR techniques
AUTHORS: Graca, A; Marques Silva, J ; Lynce, I ; Oliveira, AL ;
PUBLISHED: 2008, SOURCE: 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems in INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS, VOLUME: 5015
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: DBLP
106
TITLE: Encoding Max-CSP into Partial Max-SAT
AUTHORS: Argelich, J; Cabiscol, A; Lynce, I ; Manyà, F;
PUBLISHED: 2008, SOURCE: 38TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2008)
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: DBLP
107
TITLE: Haplotype Inference with Boolean Constraint Solving: An Overview
AUTHORS: Lynce, I ; Graça, A; Marques Silva, J ; Oliveira, AL ;
PUBLISHED: 2008, SOURCE: 20th IEEE International Conference on Tools with Artificial Intelligence in 20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 1, PROCEEDINGS, VOLUME: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Unpaywall
IN MY: DBLP
108
TITLE: Haplotype inference with Boolean satisfiability
AUTHORS: Lynce, I ; Marques Silva, J ;
PUBLISHED: 2008, SOURCE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 17, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 16 Unpaywall
IN MY: DBLP
109
TITLE: Modelling Max-CSP as partial Max-SAT
AUTHORS: Argelich, J; Cabiscol, A; Lynce, I ; Manya, F;
PUBLISHED: 2008, SOURCE: 11th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2008, PROCEEDINGS, VOLUME: 4996
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: DBLP
110
TITLE: Symmetry Breaking for Maximum Satisfiability PDF
AUTHORS: Marques Silva, J ; Lynce, I ; Manquinho, V ;
PUBLISHED: 2008, SOURCE: 15th International Conference on Logic for Programming Artificial Intelligence and Reasoning in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, VOLUME: 5330
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 3 Unpaywall
IN MY: DBLP
Page 11 of 14. Total results: 140.

footer slogan

Useful Links

Get Help

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