@misc{indiciaed51b94deaf2c,
  title = {Maximum Satisfiability of Simple Temporal Problems},
  author = {Johannes K. Fichte and Johanna Groven and Peter Jonsson and Victor Lagerkvist and Jorke M. de Vlas},
  year = {2026},
  url = {https://arxiv.org/abs/2607.23785},
  note = {Source identifier: 2607.23785}
}