João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 271



81
TITLE: On the Query Complexity of Selecting Few Minimal Sets
AUTHORS: João Marques Silva ; Mikolás Janota;
PUBLISHED: 2014, SOURCE: Electronic Colloquium on Computational Complexity (ECCC), VOLUME: 21
INDEXED IN: DBLP
IN MY: DBLP
82
TITLE: Progression in Maximum Satisfiability
AUTHORS: Ignatiev, A; Morgado, António ; Manquinho, V; Lynce, I; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
83
TITLE: SAT Solvers
AUTHORS: Joao Marques Silva ; Inês Lynce;
PUBLISHED: 2014, SOURCE: Tractability: Practical Approaches to Hard Problems
INDEXED IN: DBLP
IN MY: DBLP
84
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
85
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
86
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
87
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
88
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
89
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
90
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: 90 Unpaywall
IN MY: ORCID | ResearcherID | DBLP
Page 9 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