A new FPGA-based DPLL algorithm to improve SAT solvers.
Khadija BousmarFabrice MonteiroZineb HabbasSofiène DellagiAbbas DandachePublished in: ICM (2015)
Keyphrases
- sat solvers
- learning algorithm
- propositional satisfiability
- search space
- computational complexity
- constraint satisfaction
- optimal solution
- np hard
- dynamic programming
- search strategy
- davis putnam
- information retrieval
- clause learning
- industrial applications
- particle swarm optimization
- linear programming
- probabilistic model