Solving satisfiability problems on FPGAs using experimental unit propagation heuristic
1999 ◽
pp. 709-711
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):