@article{bethencourt:hal-01062347, TITLE = {{Solving non-linear constraint satisfation problems involving time-dependant functions}}, AUTHOR = {Bethencourt, Aymeric and Jaulin, Luc}, URL = {https://hal.science/hal-01062347}, JOURNAL = {{Mathematics in Computer Science}}, PUBLISHER = {{Springer}}, VOLUME = {8}, NUMBER = {3-4}, PAGES = {503-524}, YEAR = {2014}, MONTH = Sep, DOI = {10.1007/s11786-014-0209-6}, KEYWORDS = {Interval analysis Constraint satisfaction problem Tubes Time dependant functions Primary 65G40 Secondary 65G30}, HAL_ID = {hal-01062347}, HAL_VERSION = {v1}, }