João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 266



181
TITLE: Towards more effective unsatisfiability-based maximum satisfiability algorithms
AUTHORS: Joao Marques Silva ; Vasco Manquinho ;
PUBLISHED: 2008, SOURCE: 11th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2008, PROCEEDINGS, VOLUME: 4996
INDEXED IN: Scopus WOS DBLP CrossRef: 17
IN MY: ORCID | DBLP
182
TITLE: Breaking symmetries in SAT matrix models
AUTHORS: Lynce, I ; Marques Silva, J ;
PUBLISHED: 2007, SOURCE: 10th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2007, PROCEEDINGS, VOLUME: 4501
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
183
TITLE: Efficient and tight upper bounds for haplotype inference by pure parsimony using delayed haplotype selection
AUTHORS: Marques Silva, J ; Lynce, I ; Graca, A; Oliveira, AL ;
PUBLISHED: 2007, SOURCE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
184
TITLE: Efficient haplotype inference with pseudo-boolean optimization
AUTHORS: Graca, A; Marques Silva, J ; Lynce, I ; Oliveira, AL ;
PUBLISHED: 2007, SOURCE: 2nd International Workshop on Algebraic Biologh in ALGEBRAIC BIOLOGY, PROCEEDINGS, VOLUME: 4545
INDEXED IN: Scopus WOS DBLP CrossRef: 19
IN MY: ORCID
185
TITLE: Interpolant Learning and Reuse in SAT-Based Model Checking
AUTHORS: João Marques Silva ;
PUBLISHED: 2007, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 174, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
186
TITLE: On Using Unsatisfiability for Solving Maximum Satisfiability PDF
AUTHORS: João Marques Silva ; Jordi Planes;
PUBLISHED: 2007, SOURCE: CoRR, VOLUME: abs/0712.1097
INDEXED IN: DBLP arXiv
IN MY: DBLP
187
TITLE: Random backtracking in backtrack search algorithms for satisfiability  Full Text
AUTHORS: Lynce, I ; Marques Silva, J ;
PUBLISHED: 2007, SOURCE: DISCRETE APPLIED MATHEMATICS, VOLUME: 155, ISSUE: 12
INDEXED IN: Scopus WOS DBLP CrossRef: 5 Unpaywall
IN MY: ORCID | ResearcherID | DBLP
188
TITLE: Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing
AUTHORS: João Marques Silva ; Karem A Sakallah; Inês Lynce ;
PUBLISHED: 2007, SOURCE: AI Magazine, VOLUME: 28, ISSUE: 4
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
189
190
TITLE: Towards equivalence checking between TLM and RTL models
AUTHORS: Bombieri, N; Fummi, F; Pravadelli, G; Marques Silva, J ;
PUBLISHED: 2007, SOURCE: 5th ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'07 in MEMOCODE'07: FIFTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 27 Unpaywall
IN MY: ORCID | DBLP
Page 19 of 27. Total results: 266.

footer slogan

Useful Links

Get Help

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