Solving Satisfiability Problems on FPGAs Using Experimental Unit Propagation.

Takayuki Suyama, Makoto Yokoo, Akira Nagoya

Browse the full CP paper archive.