Optimization-based Test Scheduling for IEEE 1687 Multi-Power Domain Networks Using Boolean Satisfiability.
Payam HabibySebastian HuhnRolf DrechslerPublished in: DTIS (2021)
Keyphrases
- boolean satisfiability
- maximum satisfiability
- sat solving
- scheduling problem
- sat solvers
- randomly generated
- symmetry breaking
- boolean optimization
- sat problem
- optimization problems
- phase transition
- combinatorial optimization
- integer linear programming
- probabilistic planning
- search strategies
- domain independent
- orders of magnitude
- max sat
- np complete
- particle swarm optimization
- simulated annealing
- domain specific