João Paulo Marques da Silva
AuthID: R-000-J0P
81
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
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
Scopus