Automatic Scheduling of Periodic Event Networks by SAT Solving.

Peter Großmann

Published in: OR (2012)

Keyphrases

sat solving
scheduling problem
sat solvers
boolean satisfiability
information retrieval
learning algorithm
computational complexity
orders of magnitude
domain independent
sat instances
boolean optimization