Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 62



31
TITLE: Sequential Encodings from Max-CSP into Partial Max-SAT
AUTHORS: Josep Argelich; Alba Cabiscol; Ines Lynce ; Felip Manya;
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 CrossRef
IN MY: ORCID
32
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 Unpaywall
IN MY: ORCID
33
TITLE: Efficient haplotype inference with combined CP and OR techniques  Full Text
AUTHORS: Ana Graca; Joao Marques Silva ; Ines Lynce ; Arlindo L Oliveira ;
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: 6
IN MY: ORCID
34
TITLE: Encoding Max-CSP into partial Max-SAT  Full Text
AUTHORS: Argelich, J; Cabiscol, A; Lynce, I ; Manya, F;
PUBLISHED: 2008, SOURCE: 38th International Symposium on Multiple-Valued Logic, ISMVL 2008 in Proceedings of The International Symposium on Multiple-Valued Logic
INDEXED IN: Scopus CrossRef
IN MY: ORCID
35
TITLE: Haplotype inference with Boolean satisfiability  Full Text
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: 14
IN MY: ORCID
36
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, SAT 2008 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4996 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
37
TITLE: Symmetry Breaking for Maximum Satisfiability
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 CrossRef Unpaywall
IN MY: ORCID
38
TITLE: Breaking symmetries in SAT matrix models
AUTHORS: Lynce, I ; Marques Silva, J ;
PUBLISHED: 2007, SOURCE: 10th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2007, PROCEEDINGS, VOLUME: 4501
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
39
TITLE: Efficient and tight upper bounds for haplotype inference by pure parsimony using delayed haplotype selection
AUTHORS: Joao Marques Silva ; Ines Lynce ; Ana Graca; Arlindo L Oliveira ;
PUBLISHED: 2007, SOURCE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
40
TITLE: Efficient haplotype inference with pseudo-boolean optimization
AUTHORS: Ana Graca; Joao Marques Silva ; Ines Lynce ; Arlindo L Oliveira ;
PUBLISHED: 2007, SOURCE: 2nd International Workshop on Algebraic Biologh in Algebraic Biology, Proceedings, VOLUME: 4545
INDEXED IN: Scopus WOS DBLP CrossRef: 18
IN MY: ORCID
Page 4 of 7. Total results: 62.

A place for researchers and their institutions

Useful Links

Get Help

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