João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 266



81
TITLE: Synthesizing Safe Bit-Precise Invariants
AUTHORS: Arie Gurfinkel; Anton Belov; João Marques Silva ;
PUBLISHED: 2014, SOURCE: Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings, VOLUME: 8413
INDEXED IN: DBLP
IN MY: DBLP
82
TITLE: Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems
AUTHORS: Yuri Malitsky; Barry O'Sullivan; Alessandro Previti; João Marques Silva ;
PUBLISHED: 2014, SOURCE: ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), VOLUME: 263
INDEXED IN: DBLP
IN MY: DBLP
83
TITLE: Towards Efficient Optimization in Package Management Systems
AUTHORS: Ignatiev, A; Janota, M; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: 36th International Conference on Software Engineering (ICSE) in 36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2014), ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 14 Unpaywall
IN MY: DBLP
84
TITLE: A Two-Variable Model for SAT-Based ATPG  Full Text
AUTHORS: Chen, H; Marques Silva, J ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOLUME: 32, ISSUE: 12
INDEXED IN: Scopus WOS DBLP CrossRef: 11 Unpaywall
IN MY: DBLP
85
TITLE: Core Minimization in SAT-based Abstraction  Full Text
AUTHORS: Belov, A; Chen, H; Mishchenko, A; Marques Silva, J ;
PUBLISHED: 2013, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE) in DESIGN, AUTOMATION & TEST IN EUROPE
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
86
TITLE: Formula Preprocessing in MUS Extraction
AUTHORS: Anton Belov; Matti Järvisalo; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013 in Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, VOLUME: 7795
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
87
TITLE: Iterative and core-guided MaxSAT solving: A survey and assessment  Full Text
AUTHORS: Morgado, António ; Heras, F; Liffiton, M; Planes, J; Marques Silva, J ;
PUBLISHED: 2013, SOURCE: CONSTRAINTS, VOLUME: 18, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 104 Unpaywall
IN MY: ORCID
88
TITLE: Maximal Falsifiability - Definitions, Algorithms, and Applications. Definitions, Algorithms, and Applications
AUTHORS: Alexey Ignatiev; Morgado, António ; Jordi Planes; João Marques Silva ;
PUBLISHED: 2013, SOURCE: LPAR, VOLUME: 8312 LNCS
INDEXED IN: Scopus DBLP CrossRef: 6 Unpaywall
89
TITLE: Minimal Sets over Monotone Predicates in Boolean Formulae
AUTHORS: João Marques Silva ; Mikolás Janota; Anton Belov;
PUBLISHED: 2013, SOURCE: 25th International Conference on Computer Aided Verification, CAV 2013 in Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, VOLUME: 8044
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
90
TITLE: Model-Guided Approaches for MaxSAT Solving
AUTHORS: Morgado, António ; Heras, F; Marques Silva, J ;
PUBLISHED: 2013, SOURCE: 2013 IEEE 25TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI)
INDEXED IN: Scopus WOS DBLP CrossRef: 5 Unpaywall
Page 9 of 27. Total results: 266.

footer slogan

Useful Links

Get Help

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