An FPGA Solver for Partial MaxSAT Problems Based on Stochastic Local Search.
Shohei SassaKenji KanazawaShaowei CaiMoritoshi YasunagaPublished in: SIGARCH Comput. Archit. News (2016)
Keyphrases
- stochastic local search
- combinatorial optimisation
- computationally hard problems
- solving hard
- np complete
- combinatorial optimization
- sat problem
- combinatorial problems
- upper bound
- satisfiability problem
- search problems
- randomly generated
- propositional satisfiability
- search algorithm
- optimization problems
- description logics
- evolutionary algorithm
- computational complexity