@inproceedings{FrankHofstedt2011, author = {Stephan Frank and Petra Hofstedt}, title = {CLFD: A Finite Domain Constraint Solver in Common Lisp}, year = {2011}, }