João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 265



201
TITLE: Heuristic-based backtracking relaxation for propositional satisfiability  Full Text
AUTHORS: Bhalla, A; Lynce, I ; De Sousa, JT; Marques Silva, J ;
PUBLISHED: 2005, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 35, ISSUE: 1-3
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Unpaywall
IN MY: ORCID
202
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 | DBLP
203
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 | DBLP
204
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 | DBLP
205
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
206
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
207
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 | DBLP
208
TITLE: On Computing Minimum Unsatisfiable Cores
AUTHORS: Inês Lynce ; João Marques Silva ;
PUBLISHED: 2004, SOURCE: SAT
INDEXED IN: DBLP
209
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 | DBLP
210
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
IN MY: DBLP
Page 21 of 27. Total results: 265.

footer slogan

Useful Links

Get Help

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