Title: Abstract Domains in Constraint Programming
Subjects: Constraint programming (computer science)