Backjumping is Exception Handling. Issue 2 (16th March 2021)
- Record Type:
- Journal Article
- Title:
- Backjumping is Exception Handling. Issue 2 (16th March 2021)
- Main Title:
- Backjumping is Exception Handling
- Authors:
- ROBBINS, ED
KING, ANDY
HOWE, JACOB M. - Abstract:
- Abstract: ISO Prolog provides catch and throw to realize the control flow of exception handling. This pearl demonstrates that catch and throw are inconspicuously amenable to the implementation of backjumping. In fact, they have precisely the semantics required: rewinding the search to a specific point and carrying of a preserved term to that point. The utility of these properties is demonstrated through an implementation of graph coloring with backjumping and a backjumping SAT solver that applies conflict-driven clause learning.
- Is Part Of:
- Theory and practice of logic programming. Volume 21:Issue 2(2021)
- Journal:
- Theory and practice of logic programming
- Issue:
- Volume 21:Issue 2(2021)
- Issue Display:
- Volume 21, Issue 2 (2021)
- Year:
- 2021
- Volume:
- 21
- Issue:
- 2
- Issue Sort Value:
- 2021-0021-0002-0000
- Page Start:
- 125
- Page End:
- 144
- Publication Date:
- 2021-03-16
- Subjects:
- backjumping -- exception handling -- conflict-driven clause learning -- SAT
Logic programming -- Periodicals
Artificial intelligence -- Computer programs -- Periodicals
Constraint programming (Computer science) -- Periodicals
005.115 - Journal URLs:
- https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming ↗
- DOI:
- 10.1017/S1471068420000435 ↗
- Languages:
- English
- ISSNs:
- 1471-0684
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD Digital store
- Ingest File:
- 21754.xml