Abstract Domains in Constraint Programming

by Marie Pelleau

Constraint Programming aims at solving hard combinatorial problems, with a computation time increasing in practice exponentially. The methods are today efficient enough to solve large industrial problems, in a generic framework. However, solvers are dedicated to a single variable type: integer or real. Solving mixed problems relies on ad hoc transformations. In another field, Abstract Interpretation offers tools to prove program properties, by studying...

• Format: Hardcover
• Language: English
• ISBN: 1785480103
• ISBN13: 9781785480102
• Release Date: May 2015
• Publisher: Iste Press - Elsevier
• Length: 176 Pages
• Weight: 0.90 lbs.
• Dimensions: 0.4" x 6.0" x 9.0"