Automated Design Debugging With Maximum Satisfiability.
Yibin ChenSean SafarpourJoão Marques-SilvaAndreas G. VenerisPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2010)
Keyphrases
- automated design
- maximum satisfiability
- boolean satisfiability
- max sat
- evolutionary design
- engineering design
- combinatorial problems
- sat problem
- mechanism design
- sat solvers
- security protocols
- randomly generated
- symmetry breaking
- branch and bound algorithm
- neural network
- search strategy
- probabilistic planning
- combinatorial optimization
- evolutionary computation
- lower bound
- computational complexity