J.p Marques-Silva
AuthID: R-00K-JMY
1
TITLE: Solving satisfiability in combinational circuits with backtrack search and recursive learning
AUTHORS: J.P Marques-Silva; Guerra e Silva, L;
PUBLISHED: 2003, SOURCE: Proceedings. XII Symposium on Integrated Circuits and Systems Design (Cat. No.PR00387)
AUTHORS: J.P Marques-Silva; Guerra e Silva, L;
PUBLISHED: 2003, SOURCE: Proceedings. XII Symposium on Integrated Circuits and Systems Design (Cat. No.PR00387)
