HIGHLIGHTS
- who: TPLP and colleagues from the c The Author(s), Published by Cambridge University PressUniversity of Kent, Canterbury, NF, UK have published the article: Backjumping is Exception Handling, in the Journal: (JOURNAL)
- what: This paper argues that catch and throw provide and_(2), whereas is naturally provided by a mutable database that might be implemented with a dynamic predicate, blackboard (De Bosschere and Jacquet 1993), or non-backtrackable global variables (Wielemaker et al. 2015); to demonstrate versatility, the approach is first illustrated on the classic problem of graph coloring, providing a template for backjumping with . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.