• Submit
  • Personalize
    • Your alerts
    • Your lists
    • Your searches
  • Help
  • de
  • en
  • fr
  • it
  • guest :: login
Advanced Search
  • Search in fulltext
  • Save the selected filter for next search

Refine my results

Document type

  • Articles (2)

Institution

  • National (2)

Specific Collection

  • National Collections (2)

Language

  • English (2)

Author

  • Sam-Haroud, Djamila (2) disable the filter
  • Vu, Xuan-Ha (2)
  • Faltings, Boi (1)
  • Schichl, Hermann (1)

Domain

  • Medicine, Technology, Engineering (2)

Keyword

  • Branch and prune (2)
  • Interval constraint propagation (2)
  • Affine arithmetic (1)
  • Directed acyclic graphs (1)
  • Interval arithmetic (1)
Sorted by: Date of deposit
  • Date of deposit
  • Title
  • Author

  • Ascending
  • Descending
2 results 1
Postprint
Consortium of Swiss Academic Libraries

Enhancing numerical constraint propagation using multiple inclusion representations

Vu, Xuan-Ha ; Sam-Haroud, Djamila ; Faltings, Boi

In: Annals of Mathematics and Artificial Intelligence, 2009, vol. 55, no. 3-4, p. 295-354

Postprint
Consortium of Swiss Academic Libraries

Interval propagation and search on directed acyclic graphs for numerical constraint solving

Vu, Xuan-Ha ; Schichl, Hermann ; Sam-Haroud, Djamila

In: Journal of Global Optimization, 2009, vol. 45, no. 4, p. 499-531

2 results 1
  • Home
  • Contact
  • RERO Explore
  • Powered by Invenio
  • / © Copyright RERO