A Constraint Solver Based on Abstract Domains
From MaRDI portal
Publication:2926656
DOI10.1007/978-3-642-35873-9_26zbMath1426.68159MaRDI 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
68Q55: Semantics in the theory of computing
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Modular Constraint Solver Cooperation via Abstract Interpretation, A global constraint for over-approximation of real-time streams, Sharpening constraint programming approaches for bit-vector theory, Incrementally closing octagons
Uses Software