João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 265



161
TITLE: Restoring CSP Satisfiability with MaxSAT
AUTHORS: Inês Lynce ; João Marques Silva ;
PUBLISHED: 2009, SOURCE: RCRA@AI*IA, VOLUME: 589, ISSUE: 2-3
INDEXED IN: Scopus DBLP CrossRef: 1 Unpaywall
IN MY: ORCID
162
TITLE: Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints
AUTHORS: Cordeiro, L; Fischer, B; Chen, H; Marques Silva, J ;
PUBLISHED: 2009, SOURCE: 6th International Conference on Embedded Software and Systems in 2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 26 Unpaywall
IN MY: ORCID | ResearcherID | DBLP
163
TITLE: SMT-Based Bounded Model Checking for Embedded ANSI-C Software
AUTHORS: Cordeiro, L; Fischer, B; Marques Silva, J ;
PUBLISHED: 2009, SOURCE: 24th IEEE/ACM International Conference on Automated Software Engineering in 2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 44 Unpaywall
IN MY: ORCID | ResearcherID | DBLP
164
TITLE: Spatial and temporal design debug using partial MaxSAT
AUTHORS: Yibin Chen; Sean Safarpour; Andreas G Veneris; João P Marques Silva ;
PUBLISHED: 2009, SOURCE: 19th ACM Great Lakes Symposium on VLSI, GLSVLSI '09 in Proceedings of the 19th ACM Great Lakes Symposium on VLSI 2009, Boston Area, MA, USA, May 10-12 2009
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
165
TITLE: TG-PRO: A new model for SAT-based ATPG
AUTHORS: Huan Chen; João Marques Silva ;
PUBLISHED: 2009, SOURCE: IEEE International High Level Design Validation and Test Workshop, HLDVT 2009, San Francisco, CA, USA, 4-6 November 2009
INDEXED IN: Scopus DBLP CrossRef: 6 Unpaywall
IN MY: ORCID | DBLP
166
TITLE: A MAX-SAT Algorithm Portfolio
AUTHORS: Paulo J. Matos; Jordi Planes; Florian Letombe; João Marques Silva ;
PUBLISHED: 2008, SOURCE: ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings, VOLUME: 178
INDEXED IN: DBLP
IN MY: DBLP
167
TITLE: Algorithms for Maximum Satisfiability using Unsatisfiable Cores
AUTHORS: João Marques Silva ; Jordi Planes;
PUBLISHED: 2008, SOURCE: Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008
INDEXED IN: Scopus DBLP CrossRef: 17 Unpaywall
IN MY: ORCID | DBLP
168
TITLE: Backtracking
AUTHORS: Inês Lynce ; Vasco M Manquinho ; João Marques Silva ;
PUBLISHED: 2008, SOURCE: Wiley Encyclopedia of Computer Science and Engineering
INDEXED IN: DBLP CrossRef
IN MY: DBLP
169
TITLE: Boosting haplotype inference with local search  Full Text
AUTHORS: Lynce, I ; Marques Silva, J ; Prestwich, S;
PUBLISHED: 2008, SOURCE: CONSTRAINTS, VOLUME: 13, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef: 11 Unpaywall
IN MY: ORCID
170
TITLE: Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem
AUTHORS: Morgado, António ; João Marques Silva ;
PUBLISHED: 2008, SOURCE: RCRA, VOLUME: 451
INDEXED IN: Scopus DBLP
IN MY: ORCID
Page 17 of 27. Total results: 265.

footer slogan

Useful Links

Get Help

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