Login / Signup
A CSP solution to the "trains" problem.
A. W. Roscoe
Published in:
The Analysis of Concurrent Systems (1983)
Keyphrases
</>
multiscale
mathematical model
constraint satisfaction
solution space
linear equations
database
information retrieval
genetic algorithm
optimal solution
lower bound
solution quality
integer programming