João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 271



161
TITLE: Algorithms for finding dispensable variables PDF
AUTHORS: Mikolás Janota; João Marques Silva ; Radu Grigore;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0910.0013
INDEXED IN: DBLP arXiv
IN MY: DBLP
162
TITLE: Algorithms for Weighted Boolean Optimization
AUTHORS: Vasco M Manquinho ; João P Marques Silva ; Jordi Planes;
PUBLISHED: 2009, SOURCE: 12th International Conference on Theory and Applications of Satisfiability Testing, SAT 2009 in Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings, VOLUME: 5584
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
163
TITLE: Conflict-Driven Clause Learning SAT Solvers
AUTHORS: João P Marques Silva ; Inês Lynce ; Sharad Malik;
PUBLISHED: 2009, SOURCE: Handbook of Satisfiability, VOLUME: 185, ISSUE: 1
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
164
TITLE: Industrial-Strength Formally Certified SAT Solving PDF
AUTHORS: Ashish Darbari; Bernd Fischer; João P Marques Silva ;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0911.1678
INDEXED IN: DBLP arXiv
IN MY: DBLP
165
TITLE: On Solving Boolean Multilevel Optimization Problems PDF
AUTHORS: Argelich, J; Lynce, I ; Marques Silva, J ;
PUBLISHED: 2009, SOURCE: 21st Internation Joint Conference on Artifical Intelligence (IJCAI-09) in 21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
166
TITLE: Restoring CSP Satisfiability with MaxSAT PDF
AUTHORS: Inês Lynce; Joao Marques Silva ;
PUBLISHED: 2009, SOURCE: 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2009 in Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA 2009, Reggio Emilia, Italy, December 11-12, 2009, VOLUME: 589
INDEXED IN: Scopus DBLP
IN MY: DBLP
167
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
168
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
169
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
170
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
Page 17 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