Declarative Solver Development: Case Studies.

Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi

Browse the full KR paper archive.