95 citations · 225 across the 24 of their papers we have counts for
1 paper · 2 filters
Krzysztof R. Apt
We discuss here constraint programming (CP) by using a proof-theoretic perspective. To this end we identify three levels of abstraction. Each level sheds light on the essence of CP…