@misc{indiciae76fb80dde9ab,
  title = {Neuro-Symbolic Constrained Optimization for Cloud Application Deployment via Graph Neural Networks and Satisfiability Modulo Theory},
  author = {Madalina Erascu},
  year = {2025},
  url = {https://arxiv.org/abs/2511.23109},
  note = {Source identifier: 2511.23109}
}