Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,051,079 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.
2009
2009
Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems
Jia Zou
,
Slobodan Matic
,
Edward A. Lee
,
T. Feng
,
P. Derler
15th IEEE Real-Time and Embedded Technology and…
2009
Corpus ID: 2865936
We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed…
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
2004
2004
A symbolic Java virtual machine for test case generation
R. Müller
,
C. Lembeck
,
H. Kuchen
IASTED Conf. on Software Engineering
2004
Corpus ID: 2459781
Quality management is becoming a more and more important part of the software development process. As software testing is…
Expand
2004
2004
CARD: A Contact-based Architecture for Resource Discovery in Ad Hoc Networks
A. Helmy
,
S. Garg
,
Priyatham Pamu
,
Nitin Nahata
2004
Corpus ID: 61090707
∗ A. Helmy was supported by NSF CAREER Award 0134650. Abstract Traditional protocols for routing in ad hoc networks attempt to…
Expand
2003
2003
From race to citizenship: The indigenization debate in post-socialist Tanzania
R. Aminzade
2003
Corpus ID: 54012397
Neoliberal economic reforms in post-socialist Tanzania heightened racial as well as anti-foreign hostilities, while liberal…
Expand
1999
1999
Content based internet access to paper documents
M. Worring
,
A. Smeulders
International Journal on Document Analysis and…
1999
Corpus ID: 18770782
Abstract. When archives of paper documents are to be accessed via the Internet, the implicit hypertext structure of the original…
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
1997
1997
Golomb rectangles as folded rulers
John P. Robinson
IEEE Transactions on Information Theory
1997
Corpus ID: 15400025
A correspondence between two-dimensional Golomb rectangles and one-dimensional Golomb rulers is given. Results are translated…
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
Review
1982
Review
1982
Developments in Logic Network Path Delay Analysis
L. Bening
,
T. Lane
,
C. Alexander
,
James E. Smith
Design Automation Conference
1982
Corpus ID: 13274282
This paper discusses path delay analysis programs as an alternative to detailed logic simulation for finding timing problems in…
Expand