Solving Satisfiability Problems on FPGAs Using Experimental Unit Propagation

Authors:
Takayuki Suyama;Makoto Yokoo;Akira Nagoya
Affiliations:
-;-;-
Venue:
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
Year:
1999

Citing 0
Cited 3

Accelerating Random Walks

CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Reconfigurable Hardware SAT Solvers: A Survey of Systems

IEEE Transactions on Computers
Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation

Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract