A Runtime Reconfigurable Implementation of the GSAT Algorithm

Authors:
Wong Hiu Yung;Yuen Wing Seung;Kin-Hong Lee;Philip Heng Wai Leong
Affiliations:
-;-;-;-
Venue:
FPL '99 Proceedings of the 9th International Workshop on Field-Programmable Logic and Applications
Year:
1999

One Flip per Clock Cycle

CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Instance-Specific Accelerators for Minimum Covering

The Journal of Supercomputing
Reconfigurable Hardware SAT Solvers: A Survey of Systems

IEEE Transactions on Computers
A fast SAT solver algorithm best suited to reconfigurable hardware

SBCCI '06 Proceedings of the 19th annual symposium on Integrated circuits and systems design

Hi-index	0.00