15 citations · 17 across the 7 of their papers we have counts for
Showing 1999Show all
2 papers · 1 filter
cs.AI1999
The Rough Guide to Constraint Propagation
Krzysztof R. Apt
We provide here a simple, yet very general framework that allows us to explain several constraint propagation algorithms in a systematic way. In particular, using the notions commu…
cs.LO1999
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming
Krzysztof R. Apt, Andrea Schaerf
The aim of the Alma project is the design of a strongly typed constraint programming language that combines the advantages of logic and imperative programming. The first stage of t…