João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 271



211
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
212
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 | ResearcherID | DBLP
213
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
214
TITLE: On Computing Minimum Unsatisfiable Cores PDF
AUTHORS: Inês Lynce; 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
215
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
216
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
217
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
IN MY: DBLP
218
TITLE: An overview of backtrack search satisfiability algorithms  Full Text
AUTHORS: Lynce, I ; Marques Silva, JP ;
PUBLISHED: 2003, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 37, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 10
IN MY: ORCID | ResearcherID | DBLP
219
TITLE: Heuristic backtracking algorithms for SAT  Full Text
AUTHORS: Bhalla, A; Lynce, I; de Sousa, JT; Marques Silva, J ;
PUBLISHED: 2003, SOURCE: 4th International Workshop on Microprocessor Test and Verification in 4TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION: COMMON CHALLENGES AND SOLUTIONS, PROCEEDINGS, VOLUME: 2003-January
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: DBLP
220
TITLE: Heuristic-based backtracking for propositional satisfiability
AUTHORS: Bhalla, A; Lynce, I ; de Sousa, JT; Marques Silva, J ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE-B, VOLUME: 2902
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
Page 22 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