Search Sciweavers | Sciweavers

400 search results - page 14 / 80

» Backtracking

138

click to vote

ICLP
1998
Springer

133views Automated Reasoning» more ICLP 1998»

A Choice-Point Library for Backtrack Programming

15 years 10 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 »

186

click to vote

ECHT
1994

142views Internet Technology» more ECHT 1994»

Backtracking in a Multiple-Window Hypertext Environment

15 years 10 months ago

Download web.njit.edu

Michael Bieber, Jiangling Wan

claim paper

Read More »

111

click to vote

KR
1994
Springer

93views Automated Reasoning» more KR 1994»

GSAT and Dynamic Backtracking

15 years 10 months ago

Download www.aaai.org

Matthew L. Ginsberg, David A. McAllester

claim paper

Read More »

193

click to vote

REX
1993

156views Logical Reasoning» more REX 1993»

Process Algebra with Backtracking

15 years 10 months ago

Download igitur-archive.library.uu.nl

Jan A. Bergstra, Alban Ponse, Jos van Wamel

claim paper

Read More »

110

click to vote

SIGCSE
1992
ACM

126views Education» more SIGCSE 1992»

Backtracking the rat way

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers