Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,091,267 papers from all fields of science
Search
Sign In
Create Free Account
Backtracking
Known as:
Backtracking search
, Backtracking algorithm
, Backtrack
Expand
Backtracking is a general algorithm for finding all (or some) solutions to some computational problems, notably constraint satisfaction problems…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Alma-0
Backmarking
Beam stack search
Bottom-up parsing
Expand
Broader (1)
Operations research
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
An efficient two-pass decoder for SMT using word confidence estimation
Ngoc-Quang Luong
,
L. Besacier
,
Benjamin Lecouteux
European Association for Machine Translation…
2014
Corpus ID: 41626949
During decoding, the Statistical Machine Translation (SMT) decoder travels over all complete paths on the Search Graph (SG…
Expand
2013
2013
Incremental Language Inclusion Checking for Networks of Timed Automata
Willibald Krenn
,
D. Ničković
,
Loredana Tec
International Conference on Formal Modeling and…
2013
Corpus ID: 1667811
Checking the language inclusion between two models is a fundamental problem arising in application areas such as formal…
Expand
2010
2010
A Framework for Efficient Fingerprint Identification Using a Minutiae Tree
Praveer Mansukhani
,
S. Tulyakov
,
V. Govindaraju
IEEE Systems Journal
2010
Corpus ID: 758693
Given the existence of large fingerprint databases, including distributed systems, the development of algorithms for performing…
Expand
2010
2010
COPING WITH THE KNOWLEDGE SHARING BARRIERS IN PRODUCT SERVICE SYSTEMS DESIGN
M. Bertoni
,
A. Larsson
2010
Corpus ID: 54172479
This paper analyzes the knowledge sharing process that characterizes Product Service Systems (PSS) design, drawing on data from…
Expand
Review
2009
Review
2009
From past imperfect to future perfect? A longitudinal study of the Third Pillar
Estella Baker
,
C. Harding
2009
Corpus ID: 153903783
Harding, Christopher, Baker, Estella, (2009) 'From past imperfect to future perfect? A longitudinal study of the Third Pillar…
Expand
2002
2002
Communication and Computation in DisCSP Algorithms
B. Krishnamachari
,
C. Gomes
,
Enginyeria Industrial
2002
Corpus ID: 16209879
Department of Computer Science, Cornell UniversityIthaca, NY 14853, USAfbhaskar,gomesg@cs.cornell.eduAbstract. We introduce…
Expand
1999
1999
Hierarchical Constraint Satisfaction in Spatial Databases
Dimitris Papadias
,
Panos Kalnis
,
N. Mamoulis
AAAI/IAAI
1999
Corpus ID: 7606551
Several content-based queries in spatial databases and geographic infonnation systems (GISs) can be modelled and processed as…
Expand
1998
1998
Implementing an ALCRP(D) ABox Reasoner - Progress Report
V. Haarslev
,
Ralf Möller
,
Anni-Yasmin Turhan
Description Logics
1998
Corpus ID: 8607419
: This paper presents a progress report on the implementation of an ALCRP ( D ) ABox reasoner and a knowledge representation…
Expand
1995
1995
A Reactive Constraint Logic Programming Scheme
F. Fages
,
J. Fowler
,
T. Sola
International Conference on Logic Programming
1995
Corpus ID: 5055942
In this paper we present a constraint logic programming scheme for reactive systems. A formal framework is developed to deene the…
Expand
1993
1993
Towards a Semantics for Concurrent METATEM
Michael Fisher
Executable Modal and Temporal Logics
1993
Corpus ID: 1751555
Concurrent MetateM is a programming language based on the notion of concurrent, communicating objects, where each object directly…
Expand