Run-Time Performance Optimization of an FPGA-Based Deduction Engine for SAT Solvers.
Andreas DandalisViktor K. PrasannaBharani ThiruvengadamPublished in: FPL (2001)
Keyphrases
- sat solvers
- max sat
- orders of magnitude
- boolean satisfiability
- constraint satisfaction
- search strategies
- sat instances
- sat solving
- search tree
- propositional satisfiability
- weighted max sat
- sat problem
- search space
- answer sets
- clause learning
- optimization problems
- learning algorithm
- logic programs
- evolutionary algorithm
- clause learning sat solvers