Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,115,098 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.
2010
2010
Agents towards vehicle routing problems
J. Vokrínek
,
Antonín Komenda
,
M. Pechoucek
Adaptive Agents and Multi-Agent Systems
2010
Corpus ID: 1173813
A multi-agent VRP solver is presented in this paper. It utilizes the contract-net protocol based allocation and several…
Expand
2007
2007
Heuristic Scheduling of Grid Workflows Supporting Co-Allocation and Advance Reservation
Jörg Decker
,
Jörg Schneider
IEEE/ACM International Symposium on Cluster…
2007
Corpus ID: 14463727
Applications to be executed in grid computing environments become more and more complex and usually consist of multiple…
Expand
2006
2006
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
P. Parízek
,
F. Plášil
,
J. Kofroň
30th Annual IEEE/NASA Software Engineering…
2006
Corpus ID: 13971815
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic…
Expand
2003
2003
On the Complexity of Distributed Self-Configuration in Wireless Networks
B. Krishnamachari
,
S. Wicker
,
R. Béjar
,
C. Fernández
Telecommunications Systems
2003
Corpus ID: 3190996
We consider three distributed configuration tasks that arise in the setup and operation of multi-hop wireless networks: partition…
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
Highly Cited
2002
Highly Cited
2002
Global Optimization Procedures for the Capacitated Euclidean and lp Distance Multifacility Location-Allocation Problems
H. Sherali
,
Intesar Al-Loughani
,
Shivaram Subramanian
Operational Research
2002
Corpus ID: 18332498
In this paper, we study the capacitated Euclidean andlpdistance location-allocation problems. There exists no global optimization…
Expand
1998
1998
Worldlets: 3D thumbnails for 3D browsing
T. T. Elvins
,
David R. Nadeau
,
R. Schul
,
D. Kirsh
International Conference on Human Factors in…
1998
Corpus ID: 8962454
Dramatic advances in 3D Web technologies have recently led to widespread development of virtual world Web browsers and 3D content…
Expand
Highly Cited
1988
Highly Cited
1988
SPLIT circuit model for test generation
W.-T. Cheng
25th ACM/IEEE, Design Automation Conference…
1988
Corpus ID: 17781797
A novel circuit model, SPLIT, is presented which is a modified 9-valued circuit model. SPLIT has the precision of the 9-valued…
Expand
Review
1987
Review
1987
The Crystal Multicomputer: Design and Implementation Experience
D. DeWitt
,
R. Finkel
,
M. Solomon
IEEE Transactions on Software Engineering
1987
Corpus ID: 15780321
This paper presents an overview of the hardware and software components of the Crystal multicomputer project. The goal of the…
Expand
Highly Cited
1978
Highly Cited
1978
Reduction operations for constraint satisfaction
R. Haralick
,
L. S. Davis
,
A. Rosenfeld
,
D. Milgram
Information Sciences
1978
Corpus ID: 36710909
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE