João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 266



111
TITLE: On Computing Minimal Equivalent Subformulas
AUTHORS: Anton Belov; Mikolás Janota; Inês Lynce ; João Marques Silva ;
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: 9 Unpaywall
IN MY: ORCID | DBLP
112
TITLE: On Efficient Computation of Variable MUSes
AUTHORS: Anton Belov; Alexander Ivrii; Arie Matsliah; João Marques Silva ;
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
113
TITLE: On Unit-Refutation Complete Formulae with Existentially Quantified Variables
AUTHORS: Lucas Bordeaux; Mikolás Janota; João P Marques Silva ; Pierre Marquis;
PUBLISHED: 2012, SOURCE: 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 in Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012
INDEXED IN: Scopus DBLP
IN MY: DBLP
114
TITLE: PackUp: Tools for Package Upgradability Solving PDF
AUTHORS: Mikolás Janota; Inês Lynce ; Vasco M. Manquinho; João Marques Silva ;
PUBLISHED: 2012, SOURCE: JSAT, VOLUME: 8, ISSUE: 1/2
INDEXED IN: DBLP
IN MY: DBLP
115
TITLE: QBf-based Boolean function bi-decomposition PDF
AUTHORS: Chen, H; Janota, M; Marques Silva, J ;
PUBLISHED: 2012, SOURCE: 15th Design, Automation and Test in Europe Conference and Exhibition, DATE 2012 in Proceedings -Design, Automation and Test in Europe, DATE, VOLUME: abs/1112.2313
INDEXED IN: Scopus DBLP arXiv
IN MY: ORCID | DBLP
116
TITLE: QBF-Based Boolean Function Bi-Decomposition
AUTHORS: Chen, H; Janota, M; Marques Silva, J ;
PUBLISHED: 2012, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE) in DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2012)
INDEXED IN: WOS DBLP
IN MY: DBLP
117
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
118
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
119
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
120
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: ResearcherID | DBLP
Page 12 of 27. Total results: 266.

footer slogan

Useful Links

Get Help

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