Adaptive constructive interval disjunction: algorithms and experiments

Neveu, Bertrand; Trombettoni, Gilles; Araya, Ignacio

Más información

Título de la Revista: Constraints
Fecha de publicación: 2015