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