Abstract domains in constraint programming. (2015)
- Record Type:
- Book
- Title:
- Abstract domains in constraint programming. (2015)
- Main Title:
- Abstract domains in constraint programming
- Further Information:
- Note: Marie Pelleau.
- Authors:
- Pelleau, Marie
- Contents:
- 1. Introduction; 2. State of the Art; 3. Abstract Interpretation for Constraint Programming; 4. Octagons; 5. Octagonal Solving; 6. An Abstract Solver: AbSolute; 7. Conclusion and Perspectives
- Publisher Details:
- Amsterdam : Elsevier
- Publication Date:
- 2015
- Extent:
- 1 online resource
- Subjects:
- 005.116
Constraint programming (Computer science)
Abstract data types (Computer science) - Languages:
- English
- ISBNs:
- 9780081004647
- Notes:
- Note: Description based on CIP data; resource not viewed.
- Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.32415
- Ingest File:
- 02_057.xml