João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 271



131
TITLE: Empirical Study of the Anatomy of Modern Sat Solvers
AUTHORS: Hadi Katebi; Karem A Sakallah; João P Marques Silva ;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
132
TITLE: Haplotype Inference Using Propositional Satisfiability
AUTHORS: Ana Graça; João Marques Silva ; Inês Lynce;
PUBLISHED: 2011, SOURCE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
INDEXED IN: DBLP
IN MY: DBLP
133
TITLE: Haplotype inference using propositional satisfiability
AUTHORS: Graca, A; Marques Silva, J ; Lynce, I;
PUBLISHED: 2011, SOURCE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
INDEXED IN: Scopus CrossRef: 1
134
TITLE: Haplotype inference with pseudo-Boolean optimization  Full Text
AUTHORS: Ana Graca; Joao Marques Silva ; Ines Lynce ; Arlindo L Oliveira ;
PUBLISHED: 2011, SOURCE: 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems in ANNALS OF OPERATIONS RESEARCH, VOLUME: 184, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: ORCID | ResearcherID | DBLP
135
TITLE: Improvements to Satisfiability-Based Boolean Function Bi-Decomposition
AUTHORS: Huan Chen; João Marques Silva ;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
136
TITLE: Improvements to satisfiability-based boolean function bi-decomposition
AUTHORS: Huan Chen; João Marques Silva ;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
137
TITLE: Lazy Decomposition for Distributed Decision Procedures PDF
AUTHORS: Youssef Hamadi; João Marques Silva ; Christoph M. Wintersteiger;
PUBLISHED: 2011, SOURCE: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011., VOLUME: 72
INDEXED IN: DBLP arXiv
IN MY: DBLP
138
TITLE: Minimally Unsatisfiable Boolean Circuits
AUTHORS: Anton Belov; João P Marques Silva ;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
139
TITLE: On Deciding MUS Membership with QBF
AUTHORS: Mikolás Janota; João P Marques Silva ;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
140
TITLE: On Improving MUS Extraction Algorithms
AUTHORS: Marques Silva, J ; Lynce, I ;
PUBLISHED: 2011, SOURCE: 14th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, VOLUME: 6695
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
Page 14 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