Reverse-Engineering Constraint Models from CNFs: An Agentic Approach

Abstract

Full Citation:

Johannes Klaus Fichte, Stefan Szeider. Reverse-Engineering Constraint Models from CNFs: An Agentic Approach. Proceedings of the 17th Workshop on Pragmatics of SAT, PoS 2026, Lisbon, Portugal, July 19, 2026, co-located with SAT 2026, volume 4289 of CEUR Workshop Proceedings, pages 99–109, 2026, CEUR-WS.org.

Stefan Szeider

Head of Group

Stefan Szeider is a Professor at the Algorithms and Complexity Group.