@inproceedings{FichteSzeider26,
 author = {Johannes Klaus Fichte and
Stefan Szeider},
 booktitle = {Proceedings of the 17th Workshop on Pragmatics of {SAT}, {PoS} 2026,
Lisbon, Portugal, July 19, 2026, co-located with {SAT} 2026},
 pages = {99–109},
 publisher = {CEUR-WS.org},
 series = {{CEUR} Workshop Proceedings},
 source_file = {publications-web.bib},
 title = {Reverse-Engineering Constraint Models from {CNFs}: An Agentic Approach},
 url = {https://ceur-ws.org/Vol-4289/paper8.pdf},
 volume = {4289},
 year = {2026}
}