João Paulo Marques da Silva
AuthID: R-000-J0P
81
TITLE: The Impact of Branching Heuristics in Propositional Satisfiability Algorithms
AUTHORS: João Marques-Silva;
PUBLISHED: 1999, SOURCE: Progress in Artificial Intelligence - Lecture Notes in Computer Science
AUTHORS: João Marques-Silva;
PUBLISHED: 1999, SOURCE: Progress in Artificial Intelligence - Lecture Notes in Computer Science
INDEXED IN: 
CrossRef
CrossRef82
TITLE: Solving satisfiability in combinational circuits with backtrack search and recursive learning
AUTHORS: João P Marques Silva; Luís Guerra Guerra E Silva;
PUBLISHED: 1999, SOURCE: Proceedings - 12th Symposium on Integrated Circuits and Systems Design, SBCCI 1999
AUTHORS: João P Marques Silva; Luís Guerra Guerra E Silva;
PUBLISHED: 1999, SOURCE: Proceedings - 12th Symposium on Integrated Circuits and Systems Design, SBCCI 1999
INDEXED IN: 
Scopus
Scopus