Resource-saving FPGA Implementation of the Satisfiability Problem Solver: AmoebaSATslim.
Ying Jie YanHideharu AmanoMasashi AonoKaori OhkodaShingo FukudaKenta SaitoSeiya KasaiPublished in: FPT (2021)
Keyphrases
- satisfiability problem
- fpga implementation
- hardware implementation
- np complete
- temporal logic
- clause learning
- search algorithm
- weighted max sat
- phase transition
- sat problem
- stochastic local search algorithms
- max sat
- field programmable gate array
- stochastic local search
- decision procedures
- image processing algorithms
- sat instances
- np hard
- transfer function
- randomly generated
- model checking
- software engineering
- query language
- orders of magnitude
- image processing