Functional programming abstractions for CP modeling

Pieter Wuille. Functional programming abstractions for CP modeling. PhD thesis, Ghent University, Belgium, 2011. [doi]

Abstract

Abstract is missing.