Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 152



101
102
TITLE: Solving Linux Upgradeability Problems Using Boolean Optimization PDF
AUTHORS: Josep Argelich; Daniel Le Berre; Inês Lynce ; João Marques Marques Silva ; Pascal Rapicault;
PUBLISHED: 2010, SOURCE: Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010., VOLUME: 29
INDEXED IN: DBLP arXiv
IN MY: DBLP
103
TITLE: The Seventh QBF Solvers Evaluation (QBFEVAL'10)
AUTHORS: Claudia Peschiera; Luca Pulina; Armando Tacchella; Uwe Bubeck; Oliver Kullmann; Inês Lynce ;
PUBLISHED: 2010, SOURCE: 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010 in Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings, VOLUME: 6175
INDEXED IN: Scopus DBLP CrossRef: 11
IN MY: ORCID | CIÊNCIAVITAE
104
TITLE: The Seventh QBF Solvers Evaluation (QBFEVAL'10)
AUTHORS: Peschiera, C; Pulina, L; Tacchella, A; Bubeck, U; Kullmann, O; Lynce, I ;
PUBLISHED: 2010, SOURCE: 13th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS, VOLUME: 6175
INDEXED IN: WOS
IN MY: ORCID | CIÊNCIAVITAE
105
TITLE: A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas  Full Text
AUTHORS: Liffiton, M; Mneimneh, M; Lynce, I ; Andraus, Z; Marques Silva, J ; Sakallah, K;
PUBLISHED: 2009, SOURCE: CONSTRAINTS, VOLUME: 14, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 26 Unpaywall
IN MY: ORCID | DBLP | CIÊNCIAVITAE
106
TITLE: Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization
AUTHORS: Delgado, J; Lynce, I ; Manquinho, V ;
PUBLISHED: 2009, SOURCE: 7th Annual RECOMB on Comparative Genomic in COMPARATIVE GENOMICS, PROCEEDINGS, VOLUME: 5817
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
107
TITLE: Conflict-Driven Clause Learning SAT Solvers
AUTHORS: João P Marques Silva ; Inês Lynce ; Sharad Malik;
PUBLISHED: 2009, SOURCE: Handbook of Satisfiability, VOLUME: 185, ISSUE: 1
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
108
TITLE: On Improving Local Search for Unsatisfiability PDF
AUTHORS: David Pereira; Inês Lynce ; Steven D Prestwich;
PUBLISHED: 2009, SOURCE: Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, LSCS 2009, Lisbon, Portugal, 20 September 2009., VOLUME: 5
INDEXED IN: DBLP arXiv
IN MY: DBLP
109
TITLE: On Solving Boolean Multilevel Optimization Problems PDF
AUTHORS: Argelich, J; Lynce, I ; Marques Silva, J ;
PUBLISHED: 2009, SOURCE: 21st Internation Joint Conference on Artifical Intelligence (IJCAI-09) in 21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
110
TITLE: Regular Encodings from Max-CSP into Partial Max-SAT  Full Text
AUTHORS: Argelich, J; Cabiscol, A; Lynce, I ; Manyá, F;
PUBLISHED: 2009, SOURCE: 39th International Symposium on Multiple-Valued Logic, ISMVL 2009 in ISMVL: 2009 39TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 11 of 16. Total results: 152.

footer slogan

Useful Links

Get Help

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