João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 264



201
TÍTULO: Improvements to the implementation of interpolant-based model checking
AUTORES: Marques Silva, J ;
PUBLICAÇÃO: 2005, FONTE: 13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods in CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, VOLUME: 3725
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
202
TÍTULO: On applying cutting planes in DLL-based algorithms for Pseudo-Boolean Optimization
AUTORES: Manquinho, V ; Marques Silva, J ;
PUBLICAÇÃO: 2005, FONTE: 8th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, PROCEEDINGS, VOLUME: 3569
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | ResearcherID | DBLP
203
TÍTULO: Satisfiability-based algorithms for Pseudo-Boolean Optimization using Gomory cuts and search restarts
AUTORES: Manquinho, VM ; Marques Silva, J ;
PUBLICAÇÃO: 2005, FONTE: 17th International Conference on Tools with Artificial Intelligence in ICTAI 2005: 17TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 2005
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Unpaywall
NO MEU: ORCID | DBLP
204
TÍTULO: Three-dimensional modeling of flow in water-pump intakes
AUTORES: Silva, JM ; Duarte, AC; Eca, L;
PUBLICAÇÃO: 2005, FONTE: 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
INDEXADO EM: Scopus
205
TÍTULO: Hidden structure in unsatisfiable random 3-SAT: an empirical study
AUTORES: Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2004, FONTE: 16th IEEE International Conference on Tools with Artificial Intelligence in ICTAI 2004: 16TH IEEE INTERNATIONALCONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP
206
TÍTULO: Integration of lower bound estimates in Pseudo-Boolean Optimization
AUTORES: Manquinho, VM ; Marques Silva, J ;
PUBLICAÇÃO: 2004, FONTE: 16th IEEE International Conference on Tools with Artificial Intelligence in ICTAI 2004: 16TH IEEE INTERNATIONALCONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
207
TÍTULO: On Computing Minimum Unsatisfiable Cores
AUTORES: Inês Lynce ; João Marques Silva ;
PUBLICAÇÃO: 2004, FONTE: SAT
INDEXADO EM: DBLP
NO MEU: DBLP
208
TÍTULO: Satisfiability-based algorithms for Boolean optimization  Full Text
AUTORES: Manquinho, VM ; Marques Silva, J ;
PUBLICAÇÃO: 2004, FONTE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 40, NÚMERO: 3-4
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
209
TÍTULO: Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization PDF
AUTORES: Vasco M. Manquinho; João Marques Marques Silva ;
PUBLICAÇÃO: 2004, FONTE: SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings
INDEXADO EM: DBLP
NO MEU: DBLP
210
TÍTULO: Using Rewarding Mechanisms for Improving Branching Heuristics PDF
AUTORES: Elsa Carvalho; João Marques Marques Silva ;
PUBLICAÇÃO: 2004, FONTE: SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings
INDEXADO EM: DBLP
NO MEU: DBLP
Página 21 de 27. Total de resultados: 264.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service