GRASP-A Search Algorithm for Propositional Satisfiability

by Marques-Silva, J. P., Sakallah, K. A.
Published 1999

Ravel-XL: a hardware accelerator for assigned-delay compiled-code logic gate simulation

by Riepe, M. A., Marques-Silva, J. P., Sakallah, K. A., Brown, R. B.
Published 1996

Satisfiability Models and Algorithms for Circuit Delay Computation

by Silva, L. Guerra, Marques-Silva, J. P., Silveira, L. M., Sakallah, K. A.
Published 2002