A System for Heuristic Modifications on PLA - Specifications.

Reinhard Rauscher Andreas Krause

Published in: EUROMICRO (1996)

Keyphrases

dynamic programming
optimal solution
formal specification
case study
decision trees
state space
simulated annealing
job shop scheduling problem
heuristic solution
heuristic function
specification language
functional requirements
temporal logic
search strategies
feasible solution
heuristic search
objective function