J.p Marques-Silva
AuthID: R-00K-JMY
1
TÃTULO: Solving satisfiability in combinational circuits with backtrack search and recursive learning
AUTORES: J.P Marques-Silva; Guerra e Silva, L;
PUBLICAÇÃO: 2003, FONTE: Proceedings. XII Symposium on Integrated Circuits and Systems Design (Cat. No.PR00387)
AUTORES: J.P Marques-Silva; Guerra e Silva, L;
PUBLICAÇÃO: 2003, FONTE: Proceedings. XII Symposium on Integrated Circuits and Systems Design (Cat. No.PR00387)
