João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações a aguardar confirmação

81
TÍTULO: The Impact of Branching Heuristics in Propositional Satisfiability Algorithms
AUTORES: João Marques-Silva;
PUBLICAÇÃO: 1999, FONTE: Progress in Artificial Intelligence - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
82
TÍTULO: Solving satisfiability in combinational circuits with backtrack search and recursive learning
AUTORES: João P Marques Silva; Luís Guerra Guerra E Silva;
PUBLICAÇÃO: 1999, FONTE: Proceedings - 12th Symposium on Integrated Circuits and Systems Design, SBCCI 1999
INDEXADO EM: Scopus
Página 9 de 9. Total de resultados: 82.

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