Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 156



81
TITLE: Reasoning over Biological Networks Using Maximum Satisfiability
AUTHORS: João Guerra; Inês Lynce ;
PUBLISHED: 2012, SOURCE: 18th International Conference on Principles and Practice of Constraint Programming, CP 2012 in Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, VOLUME: 7514
INDEXED IN: Scopus DBLP CrossRef: 19
IN MY: ORCID | DBLP | CIÊNCIAVITAE
82
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
83
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
IN MY: ORCID | DBLP | CIÊNCIAVITAE
84
TITLE: Towards efficient MUS extraction  Full Text
AUTHORS: Anton Belov; Inês Lynce ; Joao Marques Silva;
PUBLISHED: 2012, SOURCE: AI Communications, VOLUME: 25, ISSUE: 2
INDEXED IN: CrossRef: 58 Unpaywall
IN MY: ORCID | CIÊNCIAVITAE
85
TITLE: Boolean lexicographic optimization: algorithms & applications  Full Text
AUTHORS: Marques Silva, J ; Argelich, J; Graca, A; Lynce, I ;
PUBLISHED: 2011, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 62, ISSUE: 3-4
INDEXED IN: Scopus WOS DBLP CrossRef: 47 Unpaywall
IN MY: ORCID | DBLP | CIÊNCIAVITAE
86
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: ORCID | DBLP | CIÊNCIAVITAE
87
TITLE: Haplotype inference using propositional satisfiability
AUTHORS: Graca, A; Marques Silva, J ; Lynce, I ;
PUBLISHED: 2011, SOURCE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
INDEXED IN: Scopus CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
88
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: DBLP Unpaywall
IN MY: DBLP
89
TITLE: Haplotype inference with pseudo-Boolean optimization  Full Text
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: ORCID | DBLP | CIÊNCIAVITAE
90
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: 31 Unpaywall
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 9 of 16. Total results: 156.

footer slogan

Useful Links

Get Help

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