Constraint programming for planning test campaigns of communications satellites

DOI10.1007/s10601-016-9254-xzbMath1387.90134arXiv1701.06388OpenAlexW3103898374MaRDI QIDQ1701233

Marie-José Huguet, Daniel Veysseire, Bertrand Cabon, Emmanuel Hebrard, Ludivine Boche Sauvan

Publication date: 22 February 2018

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1701.06388

zbMATH Keywords

sequencingglobal constraintcommunications satellites

Mathematics Subject Classification ID

Applications of mathematical programming (90C90) Integer programming (90C10)

Uses Software

• Sugar

Cites Work

• Unnamed Item
• Compiling finite linear CSP into SAT
• Propagation algorithms for lexicographic ordering constraints
• Buffered Resource Constraint: Algorithms and Complexity
• Principles and Practice of Constraint Programming – CP 2004

This page was built for publication: Constraint programming for planning test campaigns of communications satellites