@inproceedings{santos-et-al-floc2026wsar4space,
  author       = {Jennifer Santos and Damien {Van Meerbeeck} and Mika Skjelnes and Arnaud
    Lequen and Daniel Gnad},
  title        = {Robust Observation Planning via Facet Reasoning},
  booktitle    = {FLoC 2026 Workshop on Automated Reasoning for Future Space Logistics
    (AR4Space)},
  year         = 2026,
}