João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 271



121
TITLE: SMT-Based Bounded Model Checking for Embedded ANSI-C Software  Full Text
AUTHORS: Cordeiro, L; Fischer, B; Marques Silva, J ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 38, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 107 Unpaywall
IN MY: ORCID | ResearcherID | DBLP
122
TITLE: Solving QBF with Counterexample Guided Refinement
AUTHORS: Mikolás Janota; William Klieber; João Marques Silva ; Edmund M Clarke;
PUBLISHED: 2012, SOURCE: 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012 in Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, VOLUME: 7317
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
123
TITLE: TG-Pro: A SAT-based ATPG System PDF
AUTHORS: Huan Chen; João Marques Silva ;
PUBLISHED: 2012, SOURCE: JSAT, VOLUME: 8, ISSUE: 1/2
INDEXED IN: DBLP
IN MY: DBLP
124
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 | ResearcherID | DBLP
125
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
126
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
127
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
128
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 Unpaywall
IN MY: ORCID | ResearcherID | DBLP
129
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
130
TITLE: Core-Guided Binary Search Algorithms for Maximum Satisfiability
AUTHORS: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLISHED: 2011, SOURCE: 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11 in Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011, VOLUME: 1
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
Page 13 of 28. Total results: 271.

A place for researchers and their institutions

Useful Links

Get Help

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