Abstract Domains In Constraint Programming Constraint Programming aims at solving hard combinatorial problems, with a computation time increasing in practice exponentially. The methods are today... Download 19.98 USD X The seller ledsin offers you 20.0% on each sale!