Symbolic-interval cooperation in constraint programming

DOI10.1145/384101.384123zbMath1356.68278OpenAlexW1995621066MaRDI QIDQ2958925

Laurent Granvilliers, Eric Monfroy, Frédéric Benhamou

Publication date: 3 February 2017

Published in: Proceedings of the 2001 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/384101.384123

zbMATH Keywords

symbolic computationinterval arithmeticconstraint solving

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Approximation methods and heuristics in mathematical programming (90C59) General methods in interval analysis (65G40) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Representing and solving finite-domain constraint problems using systems of polynomials ⋮ A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming