About: Backjumping is Exception Handling

Not logged in : Login

(Sponging disallowed)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Backjumping is Exception Handling Goto Sponge NotDistinct Permalink

An Entity of Type : bibo:AcademicArticle, within Data Space : linkeddata.uriburner.com:28898 associated with source document(s)

Attributes	Values
type	http://eprints.org/ontology/ArticleEPrint http://eprints.org/ontology/EPrint Article Academic Article
seeAlso	HTML Summary of #82447 Backjumping is Exception Handling
sameAs	Backjumping is Exception Handling
http://eprints.org/ontology/hasAccepted	Backjumping is Exception Handling (PDF)
http://eprints.org/ontology/hasDocument	Backjumping is Exception Handling (PDF) Backjumping is Exception Handling (Other) Backjumping is Exception Handling (Other) Backjumping is Exception Handling (Other) Backjumping is Exception Handling (Other) Backjumping is Exception Handling (Other) Backjumping is Exception Handling (PDF) Backjumping is Exception Handling (Other) Backjumping is Exception Handling (Other) Backjumping is Exception Handling (Other) Backjumping is Exception Handling (Other) Backjumping is Exception Handling (Other)
http://eprints.org/ontology/hasPublished	Backjumping is Exception Handling (PDF)
dc:hasVersion	Backjumping is Exception Handling (PDF) Backjumping is Exception Handling (PDF)
Title	Backjumping is Exception Handling
described by	https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3 https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
Date	2020-11-16
Creator	Jacob M. Howe Andy King Ed Robbins
status	peer reviewed published
Publisher	Cambridge Univerity Press
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.
Is Part Of	Theory and Practice of Logic Programming https://kar.kent.ac.uk/id/repository
Subject	QA 76 Software, computer programming,
list of authors	https://kar.kent.ac.uk/id/eprint/82447#authors
is topic of	https://www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3 https://raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
is primary topic of	HTML Summary of #82447 Backjumping is Exception Handling

Faceted Search & Find service v1.17_git150 as of Jan 20 2025

Alternative Linked Data Documents: iSPARQL | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3332 as of Jan 29 2025, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (378 GB total memory, 33 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software