Heuristic minimization of Boolean relations using testing techniques.
Abhijit GhoshSrinivas DevadasA. Richard NewtonPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1992)
Keyphrases
- dynamic programming
- real valued
- heuristic methods
- objective function
- boolean functions
- optimal solution
- spatial relations
- search strategies
- semantic relations
- combinatorial optimization
- tabu search
- test cases
- background knowledge
- constraint satisfaction
- lower bound
- search algorithm
- software testing
- database
- functional dependencies
- test set
- simulated annealing
- relational databases
- reinforcement learning