Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 140



111
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: 3
IN MY: ORCID | DBLP
112
TITLE: Efficient and tight upper bounds for haplotype inference by pure parsimony using delayed haplotype selection
AUTHORS: Marques Silva, J ; Lynce, I ; Graca, A; Oliveira, AL ;
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: DBLP
113
TITLE: Efficient haplotype inference with pseudo-boolean optimization
AUTHORS: Graca, A; Marques Silva, J ; Lynce, I ; Oliveira, AL ;
PUBLISHED: 2007, SOURCE: 2nd International Workshop on Algebraic Biologh in ALGEBRAIC BIOLOGY, PROCEEDINGS, VOLUME: 4545
INDEXED IN: Scopus WOS DBLP CrossRef: 20
IN MY: DBLP
114
TITLE: Random backtracking in backtrack search algorithms for satisfiability  Full Text
AUTHORS: Lynce, I ; Marques Silva, J ;
PUBLISHED: 2007, SOURCE: DISCRETE APPLIED MATHEMATICS, VOLUME: 155, ISSUE: 12
INDEXED IN: Scopus WOS DBLP CrossRef: 5 Unpaywall
IN MY: ORCID | DBLP
115
TITLE: Refutation by Randomised General Resolution
AUTHORS: Steven D Prestwich; Inês Lynce ;
PUBLISHED: 2007, SOURCE: AAAI, VOLUME: 2
INDEXED IN: Scopus DBLP
IN MY: DBLP
116
TITLE: Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing
AUTHORS: João Marques Silva ; Karem A Sakallah; Inês Lynce ;
PUBLISHED: 2007, SOURCE: AI Mag., VOLUME: 28, ISSUE: 4
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
117
TITLE: Search in the patience game 'Black Hole'
AUTHORS: Gent, IP; Jefferson, C; Kelsey, T; Lynce, I ; Miguel, I; Nightingale, P; Smith, BM; Tarim, SA;
PUBLISHED: 2007, SOURCE: AI COMMUNICATIONS, VOLUME: 20, ISSUE: 3
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
118
TITLE: Towards robust CNF encodings of cardinality constraints
AUTHORS: Marques Silva, J ; Lynce, I ;
PUBLISHED: 2007, SOURCE: 13th International Conference on Principles and Practice of Constraint Programming (CP 2007) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2007, VOLUME: 4741
INDEXED IN: Scopus WOS DBLP CrossRef: 33
IN MY: DBLP
119
TITLE: Categorisation of clauses in conjunctive normal forms: Minimally unsatisfiable sub-clause-sets and the lean kernel
AUTHORS: Kullmann, O; Lynce, I ; Marques Silva, J ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS, VOLUME: 4121
INDEXED IN: Scopus WOS DBLP CrossRef: 24 Unpaywall
IN MY: ORCID | DBLP
120
TITLE: Efficient Haplotype Inference with Boolean Satisfiability
AUTHORS: Inês Lynce ; João Marques Silva ;
PUBLISHED: 2006, SOURCE: AAAI, VOLUME: 1
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
Page 12 of 14. Total results: 140.

footer slogan

Useful Links

Get Help

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