A Constraint Solver Based on Abstract Domains

DOI10.1007/978-3-642-35873-9_26zbMath1426.68159OpenAlexW96833076MaRDI QIDQ2926656

Frédéric Benhamou, Marie Pelleau, Charlotte Truchet, Antoine Miné

Publication date: 3 November 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35873-9_26

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (4)

A global constraint for over-approximation of real-time streams ⋮ Modular Constraint Solver Cooperation via Abstract Interpretation ⋮ Sharpening constraint programming approaches for bit-vector theory ⋮ Incrementally closing octagons

Uses Software

• Octagon

This page was built for publication: A Constraint Solver Based on Abstract Domains