@inproceedings{Szeider25,
 author = {Stefan Szeider},
 booktitle = {28th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2025, August 12-15, 2025, Glasgow, Scotland},
 doi = {10.4230/LIPICS.SAT.2025.30},
 editor = {Jeremias Berg and
Jakob Nordstr{ö}m},
 keywords = {coe, strides},
 pages = {30:1--30:12},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{ü}r Informatik},
 series = {LIPIcs},
 title = {Bridging Language Models and Symbolic Solvers via the Model Context
Protocol},
 url = {https://doi.org/10.4230/LIPIcs.SAT.2025.30},
 volume = {341},
 year = {2025}
}