Explorations of sequential ATPG using Boolean satisfiability.
Haluk KonukTracy LarrabeePublished in: VTS (1993)
Keyphrases
- boolean satisfiability
- sat solvers
- probabilistic planning
- randomly generated
- branch and bound algorithm
- boolean optimization
- sat solving
- symmetry breaking
- sat problem
- integer linear programming
- maximum satisfiability
- max sat
- phase transition
- heuristic search
- optimal solution
- combinatorial problems
- computational complexity
- random sat instances
- data structure