Automatic Scheduling of Periodic Event Networks by SAT Solving

DOI10.1007/978-3-319-00795-3_72zbMath1305.90184OpenAlexW2408139891MaRDI QIDQ5171830

Peter Großmann

Publication date: 12 February 2015

Published in: Operations Research Proceedings (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-00795-3_72

Mathematics Subject Classification ID

Deterministic scheduling theory in operations research (90B35) Deterministic network models in operations research (90B10)

Cites Work

• Unnamed Item
• Unnamed Item
• A Mathematical Model for Periodic Scheduling Problems
• Improving Resource-Unaware SAT Solvers
• The complexity of theorem-proving procedures

This page was built for publication: Automatic Scheduling of Periodic Event Networks by SAT Solving