Heuristic minimization of Boolean relations using testing techniques.
Abhijit GhoshSrinivas DevadasA. Richard NewtonPublished in: ICCD (1990)
Keyphrases
- optimal solution
- objective function
- search algorithm
- simulated annealing
- constraint satisfaction
- evolutionary algorithm
- test cases
- temporal relations
- software testing
- real valued
- search strategies
- tabu search
- co occurrence
- dynamic programming
- semantic relations
- spatial relations
- boolean functions
- reinforcement learning
- learning algorithm