City Research Online

Backjumping is Exception Handling

Robbins, E., King, A. and Howe, J. M. ORCID: 0000-0001-8013-6941 (2020). Backjumping is Exception Handling. Theory and Practice of Logic Programming, doi: 10.1017/S1471068420000435

Abstract

ISO Prolog provides catch and throw to realise 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 colouring with backjumping and a backjumping SAT solver that applies Conflict Driven Clause Learning.

Publication Type: Article
Additional Information: This article is published in a revised form in Theory and Practice of Logic Programming: https://doi.org/10.1017/S1471068420000435. This version is published under a Creative Commons CC-BY-NC-ND. No commercial re-distribution or re-use allowed. Derivative works cannot be distributed. © the authors.
Publisher Keywords: Backjumping, Exception handling, Conflict Driven Clause Learning, SAT
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: School of Mathematics, Computer Science & Engineering > Computer Science > Software Reliability
Date Deposited: 24 Aug 2020 11:51
URI: https://openaccess.city.ac.uk/id/eprint/24797
[img] Text - Accepted Version
This document is not freely accessible until 16 May 2021 due to copyright restrictions.
Available under License Creative Commons: Attribution International Public License 4.0.

To request a copy, please use the button below.

Request a copy

Export

Downloads

Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login