Vol-4288⫷ Vol-4289 ⫸Vol-4290
urn:nbn:de:0074-4289-0


Vol-4289/paper7⫷Vol-4289/paper8⫸Vol-4289/paper9
Johannes K. FichteStefan Szeider

Reverse-Engineering Constraint Models from CNFs: An Agentic Approach