Reducing Compilation Time of Zhong's FPGA-Based SAT Solver.
Pak K. ChanMark J. BoydSezer GörenK. KlenkV. KodavatiR. KunduM. MargoleseJ. SunK. SuzukiE. ThorneX. WangJ. XuM. ZhuPublished in: FCCM (1999)
Keyphrases
- retrieval effectiveness
- sat solvers
- search strategies
- information retrieval
- sat solving
- boolean satisfiability
- orders of magnitude
- propositional satisfiability
- sat problem
- sat instances
- search tree
- max sat
- constraint satisfaction
- search space
- constraint solver
- satisfiability problem
- clause learning
- lower bound
- sat encodings
- search algorithm