161
TÍTULO: Algorithms for finding dispensable variables PDF
AUTORES: Mikolás Janota; João Marques Silva ; Radu Grigore;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0910.0013
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
162
TÍTULO: Algorithms for Weighted Boolean Optimization
AUTORES: Vasco M Manquinho ; João P Marques Silva ; Jordi Planes;
PUBLICAÇÃO: 2009, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
163
TÍTULO: Conflict-Driven Clause Learning SAT Solvers
AUTORES: João P Marques Silva ; Inês Lynce ; Sharad Malik;
PUBLICAÇÃO: 2009, FONTE: Handbook of Satisfiability, VOLUME: 185, NÚMERO: 1
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
164
TÍTULO: Industrial-Strength Formally Certified SAT Solving PDF
AUTORES: Ashish Darbari; Bernd Fischer; João P Marques Silva ;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0911.1678
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
165
TÍTULO: On Solving Boolean Multilevel Optimization Problems PDF
AUTORES: Argelich, J; Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2009, FONTE: 21st Internation Joint Conference on Artifical Intelligence (IJCAI-09) in 21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP
166
TÍTULO: Restoring CSP Satisfiability with MaxSAT PDF
AUTORES: Inês Lynce; Joao Marques Silva ;
PUBLICAÇÃO: 2009, FONTE: 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
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
167
TÍTULO: Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints
AUTORES: Cordeiro, L; Fischer, B; Chen, H; Marques Silva, J ;
PUBLICAÇÃO: 2009, FONTE: 6th International Conference on Embedded Software and Systems in 2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 26 Unpaywall
168
TÍTULO: SMT-Based Bounded Model Checking for Embedded ANSI-C Software
AUTORES: Cordeiro, L; Fischer, B; Marques Silva, J ;
PUBLICAÇÃO: 2009, FONTE: 24th IEEE/ACM International Conference on Automated Software Engineering in 2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 44 Unpaywall
169
TÍTULO: Spatial and temporal design debug using partial MaxSAT
AUTORES: Yibin Chen; Sean Safarpour; Andreas G Veneris; João P Marques Silva ;
PUBLICAÇÃO: 2009, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
170
TÍTULO: TG-PRO: A new model for SAT-based ATPG
AUTORES: Huan Chen; João Marques Silva ;
PUBLICAÇÃO: 2009, FONTE: IEEE International High Level Design Validation and Test Workshop, HLDVT 2009, San Francisco, CA, USA, 4-6 November 2009
INDEXADO EM: Scopus DBLP CrossRef: 6 Unpaywall
NO MEU: ORCID | DBLP
Página 17 de 28. Total de resultados: 271.