João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 266



121
TITLE: Abstraction-Based Algorithm for 2QBF
AUTHORS: Janota, M; Marques Silva, J ;
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 Unpaywall
IN MY: ORCID | DBLP
122
TITLE: Accelerating MUS extraction with recursive model rotation
AUTHORS: Anton Belov; João Marques Silva ;
PUBLISHED: 2011, SOURCE: 2011 Formal Methods in Computer-Aided Design, FMCAD 2011 in International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
123
TITLE: Anatomy and Empirical Evaluation of Modern SAT Solvers
AUTHORS: Karem A. Sakallah; João Marques Silva ;
PUBLISHED: 2011, SOURCE: Bulletin of the EATCS, VOLUME: 103
INDEXED IN: DBLP
IN MY: DBLP
124
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 | ResearcherID | DBLP
125
TITLE: cmMUS: A Tool for Circumscription-Based MUS Membership Testing  Full Text
AUTHORS: Janota, M; Marques Silva, J ;
PUBLISHED: 2011, SOURCE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
126
TITLE: Core-Guided Binary Search Algorithms for Maximum Satisfiability
AUTHORS: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLISHED: 2011, SOURCE: AAAI, VOLUME: 1
INDEXED IN: Scopus DBLP
IN MY: ORCID
127
TITLE: Empirical Study of the Anatomy of Modern Sat Solvers
AUTHORS: Hadi Katebi; Karem A Sakallah; João P Marques Silva ;
PUBLISHED: 2011, SOURCE: 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011 in Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings, VOLUME: 6695
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
128
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
129
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
130
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
Page 13 of 27. Total results: 266.

footer slogan

Useful Links

Get Help

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