BLOOP: Boolean Satisfiability-based Optimized Loop Pipelining.
Nicolai FiegePeter ZipfPublished in: ACM Trans. Reconfigurable Technol. Syst. (2023)
Keyphrases
- boolean satisfiability
- boolean optimization
- sat solvers
- branch and bound algorithm
- probabilistic planning
- sat problem
- sat solving
- integer linear programming
- randomly generated
- symmetry breaking
- maximum satisfiability
- combinatorial problems
- max sat
- random sat instances
- constraint satisfaction problems
- sat instances
- search tree
- constraint satisfaction
- metaheuristic