João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 264



201
TITLE: Improvements to the implementation of interpolant-based model checking
AUTHORS: Marques Silva, J ;
PUBLISHED: 2005, SOURCE: 13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods in CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, VOLUME: 3725
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID
202
TITLE: On applying cutting planes in DLL-based algorithms for Pseudo-Boolean Optimization
AUTHORS: Manquinho, V ; Marques Silva, J ;
PUBLISHED: 2005, SOURCE: 8th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, PROCEEDINGS, VOLUME: 3569
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID
203
TITLE: Satisfiability-based algorithms for Pseudo-Boolean Optimization using Gomory cuts and search restarts
AUTHORS: Manquinho, VM ; Marques Silva, J ;
PUBLISHED: 2005, SOURCE: 17th International Conference on Tools with Artificial Intelligence in ICTAI 2005: 17TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 2005
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Unpaywall
IN MY: ORCID
204
TITLE: Three-dimensional modeling of flow in water-pump intakes
AUTHORS: Silva, JM ; Duarte, AC; Eca, L;
PUBLISHED: 2005, SOURCE: 31st IAHR Congress 2005: Water Engineering for the Future, Choices and Challenges in 31st IAHR Congress 2005: Water Engineering for the Future, Choices and Challenges
INDEXED IN: Scopus
205
TITLE: Hidden structure in unsatisfiable random 3-SAT: an empirical study
AUTHORS: Lynce, I ; Marques Silva, J ;
PUBLISHED: 2004, SOURCE: 16th IEEE International Conference on Tools with Artificial Intelligence in ICTAI 2004: 16TH IEEE INTERNATIONALCONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
206
TITLE: Integration of lower bound estimates in Pseudo-Boolean Optimization
AUTHORS: Manquinho, VM ; Marques Silva, J ;
PUBLISHED: 2004, SOURCE: 16th IEEE International Conference on Tools with Artificial Intelligence in ICTAI 2004: 16TH IEEE INTERNATIONALCONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
207
TITLE: On Computing Minimum Unsatisfiable Cores
AUTHORS: Inês Lynce ; João Marques Silva ;
PUBLISHED: 2004, SOURCE: SAT
INDEXED IN: DBLP
208
TITLE: Satisfiability-based algorithms for Boolean optimization  Full Text
AUTHORS: Manquinho, VM ; Marques Silva, J ;
PUBLISHED: 2004, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 40, ISSUE: 3-4
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID
209
TITLE: Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization PDF
AUTHORS: Vasco M. Manquinho; João Marques Marques Silva ;
PUBLISHED: 2004, SOURCE: SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings
INDEXED IN: DBLP
210
TITLE: Using Rewarding Mechanisms for Improving Branching Heuristics PDF
AUTHORS: Elsa Carvalho; João Marques Marques Silva ;
PUBLISHED: 2004, SOURCE: SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings
INDEXED IN: DBLP
Page 21 of 27. Total results: 264.

footer slogan

Useful Links

Get Help

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