Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 140



71
TITLE: Reasoning over Biological Networks Using Maximum Satisfiability
AUTHORS: João Guerra; Inês Lynce ;
PUBLISHED: 2012, SOURCE: CP, VOLUME: 7514 LNCS
INDEXED IN: Scopus DBLP CrossRef: 22
IN MY: DBLP
72
TITLE: Satisfiability: where Theory meets Practice (Invited Talk)  Full Text
AUTHORS: Inês Lynce ;
PUBLISHED: 2012, SOURCE: 26th International Workshop on Computer Science Logic, CSL 2012/21st Annual Conference of the European Association for Computer Science Logic, EACSL in Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France, VOLUME: 16
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
73
TITLE: Towards efficient MUS extraction  Full Text
AUTHORS: Belov, A; Lynce, I ; Marques Silva, J ;
PUBLISHED: 2012, SOURCE: AI COMMUNICATIONS, VOLUME: 25, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 58 Unpaywall
IN MY: ORCID | DBLP
74
TITLE: Boolean lexicographic optimization: algorithms & applications  Full Text
AUTHORS: Marques Silva, J ; Argelich, J; Graça, A; Lynce, I ;
PUBLISHED: 2011, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 62, ISSUE: 3-4
INDEXED IN: Scopus WOS DBLP CrossRef: 55 Unpaywall
IN MY: ORCID | DBLP
75
TITLE: Exploiting Cardinality Encodings in Parallel Maximum Satisfiability
AUTHORS: Martins, R; Manquinho, V ; Lynce, I ;
PUBLISHED: 2011, SOURCE: 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2011)
INDEXED IN: Scopus WOS DBLP CrossRef: 10
IN MY: DBLP
76
TITLE: Haplotype Inference Using Propositional Satisfiability
AUTHORS: Ana Graça; João Marques Silva ; Inês Lynce ;
PUBLISHED: 2011, SOURCE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: DBLP
77
TITLE: Haplotype inference with pseudo-Boolean optimization
AUTHORS: Graça, A; Marques Silva, J ; Lynce, I ; Oliveira, AL ;
PUBLISHED: 2011, SOURCE: 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems in ANNALS OF OPERATIONS RESEARCH, VOLUME: 184, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 12 Unpaywall
IN MY: DBLP
78
TITLE: On Improving MUS Extraction Algorithms
AUTHORS: Marques Silva, J ; Lynce, I ;
PUBLISHED: 2011, SOURCE: 14th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, VOLUME: 6695
INDEXED IN: Scopus WOS DBLP CrossRef: 32 Unpaywall
IN MY: ORCID | DBLP
79
TITLE: Proceedings Second Workshop on Logics for Component Configuration, LoCoCo 2011, Perugia, Italy, 12th September 2011
AUTHORS: Conrad Drescher; Inês Lynce ; Ralf Treinen;
PUBLISHED: 2011, SOURCE: LoCoCo, VOLUME: 65
INDEXED IN: DBLP
IN MY: DBLP
80
TITLE: Restoring CSP Satisfiability with MaxSAT
AUTHORS: Lynce, I ; Marques Silva, J ;
PUBLISHED: 2011, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 107, ISSUE: 2-3
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
Page 8 of 14. Total results: 140.

footer slogan

Useful Links

Get Help

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