@inproceedings{11705:PROLE:2025:9,
  title     = {{Towards Compact and Efficient SMT Formulations for AI Planning}},
  author    = {Bofill, M. and Oca, J.},
  url       = {https://hdl.handle.net/11705/PROLE/2025/9},
  crossref  = {11705:PROLE:2025}
}

@proceedings{11705:PROLE:2025,
  title     = {{Actas de las XXIV Jornadas de Programaci\'{o}n y Lenguajes (PROLE 2025)}},
  author    = {Pino, E.},
  year      = {2025},
  publisher = {{Sistedes}},
}