Promotional Information

Building a generic solving method

Table of Contents

1. Introduction 2. State of the Art 3. Abstract Interpretation for Constraint Programming4. Octagons5. Octagonal Solving6. An Abstract Solver: AbSolute7. Conclusion and Perspectives

About the Author

Marie Pelleau is a Doctorate in Computer Science at the University of Nantes, France. Her research interests include Constraint Programming and local research Constraint Programming (CP) to model and solve combinatory problems.