João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 271



131
TÍTULO: Empirical Study of the Anatomy of Modern Sat Solvers
AUTORES: Hadi Katebi; Karem A Sakallah; João P Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011 in Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings, VOLUME: 6695
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
132
TÍTULO: Haplotype Inference Using Propositional Satisfiability
AUTORES: Ana Graça; João Marques Silva ; Inês Lynce;
PUBLICAÇÃO: 2011, FONTE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
INDEXADO EM: DBLP
NO MEU: DBLP
133
TÍTULO: Haplotype inference using propositional satisfiability
AUTORES: Graca, A; Marques Silva, J ; Lynce, I;
PUBLICAÇÃO: 2011, FONTE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
INDEXADO EM: Scopus CrossRef: 1
134
TÍTULO: Haplotype inference with pseudo-Boolean optimization  Full Text
AUTORES: Ana Graca; Joao Marques Silva ; Ines Lynce ; Arlindo L Oliveira ;
PUBLICAÇÃO: 2011, FONTE: 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems in ANNALS OF OPERATIONS RESEARCH, VOLUME: 184, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
NO MEU: ORCID | ResearcherID | DBLP
135
TÍTULO: Improvements to Satisfiability-Based Boolean Function Bi-Decomposition
AUTORES: Huan Chen; João Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: VLSI-SoC: Advanced Research for Systems on Chip - 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers, VOLUME: 379
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
136
TÍTULO: Improvements to satisfiability-based boolean function bi-decomposition
AUTORES: Huan Chen; João Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011 in IEEE/IFIP 19th International Conference on VLSI and System-on-Chip, VLSI-SoC 2011, Kowloon, Hong Kong, China, October 3-5, 2011, VOLUME: 379 AICT
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
137
TÍTULO: Lazy Decomposition for Distributed Decision Procedures PDF
AUTORES: Youssef Hamadi; João Marques Silva ; Christoph M. Wintersteiger;
PUBLICAÇÃO: 2011, FONTE: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011., VOLUME: 72
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
138
TÍTULO: Minimally Unsatisfiable Boolean Circuits
AUTORES: Anton Belov; João P Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011 in Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings, VOLUME: 6695
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
139
TÍTULO: On Deciding MUS Membership with QBF
AUTORES: Mikolás Janota; João P Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: 17th International Conference on Principles and Practice of Constraint Programming, CP 2011 in Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, VOLUME: 6876
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
140
TÍTULO: On Improving MUS Extraction Algorithms
AUTORES: Marques Silva, J ; Lynce, I ;
PUBLICAÇÃO: 2011, FONTE: 14th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, VOLUME: 6695
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
Página 14 de 28. Total de resultados: 271.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service