Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 155



81
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
82
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
83
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
84
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
85
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
86
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
87
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
88
TITLE: Haplotype inference with pseudo-Boolean optimization  Full Text
AUTHORS: Graca, 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
89
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
90
TITLE: Proceedings Second Workshop on Logics for Component Configuration, LoCoCo 2011, Perugia, Italy, 12th September 2011 PDF
AUTHORS: Conrad Drescher; Inês Lynce ; Ralf Treinen;
PUBLISHED: 2011, SOURCE: LoCoCo, VOLUME: 65
INDEXED IN: DBLP arXiv
IN MY: DBLP
Page 9 of 16. Total results: 155.

footer slogan

Useful Links

Get Help

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