Solving satisfiability problems on FPGAs using experimental unit propagation

Takayuki Suyama, Makoto Yokoo, Akira Nagoya

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Fingerprint Dive into the research topics of 'Solving satisfiability problems on FPGAs using experimental unit propagation'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science