Search Sciweavers | Sciweavers

400 search results - page 14 / 80

» Backtracking

click to vote

ICLP
1998
Springer

133views Automated Reasoning» more ICLP 1998»

A Choice-Point Library for Backtrack Programming

14 years 1 months ago

Download www.loria.fr

Implementing a compiler for a language with nondeterministic features is known to be a difficult task. This paper presents two new functions setChoicePoint and fail that extend th...

Pierre-Etienne Moreau

claim paper

Read More »

click to vote

ECHT
1994

142views Internet Technology» more ECHT 1994»

Backtracking in a Multiple-Window Hypertext Environment

14 years 1 months ago

Download web.njit.edu

Michael Bieber, Jiangling Wan

claim paper

Read More »

click to vote

KR
1994
Springer

93views Automated Reasoning» more KR 1994»

GSAT and Dynamic Backtracking

14 years 1 months ago

Download www.aaai.org

Matthew L. Ginsberg, David A. McAllester

claim paper

Read More »

click to vote

REX
1993

156views Logical Reasoning» more REX 1993»

Process Algebra with Backtracking

14 years 1 months ago

Download igitur-archive.library.uu.nl

Jan A. Bergstra, Alban Ponse, Jos van Wamel

claim paper

Read More »

click to vote

SIGCSE
1992
ACM

126views Education» more SIGCSE 1992»

Backtracking the rat way

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers