Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Susumu Suzuki, Toshihide Ibaraki |
An Average Running Time Analysis of a Backtracking Algorithm to Calculate the Size of the Union of Cartesian Products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatica (Slovenia) ![In: Informatica (Slovenia) 28(3), pp. 227-232, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
15 | Maurice Bruynooghe |
Enhancing a search algorithm to perform intelligent backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 4(3), pp. 371-380, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Evgeny B. Krissinel, Kim Henrick |
Common subgraph isomorphism detection by backtracking search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 34(6), pp. 591-607, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Norman P. Jouppi, Subu Iyer, Wayne Mack, April Slayden Mitchell, Stan Thomas |
A First Generation Mutually-Immersive Mobile Telepresence Surrogate with Automatic Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 1670-1675, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Timothy J. Rolfe, Paul W. Purdom |
An alternative problem for backtracking and bounding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE-WGR ![In: Working group reports from ITiCSE on Innovation and technology in computer science education, ITiCSE-WGR 2004, Leeds, United Kingdom, June 28-30, 2004, pp. 83-84, 2004, ACM, 978-1-4503-7794-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Hua-Wen Tsai, Tzung-Shi Chen, Chih-Ping Chu |
An on-demand routing protocol with backtracking for mobile ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCNC ![In: 2004 IEEE Wireless Communications and Networking Conference , WCNC 2004, Atlanta, Georgia, USA, 21-25 March 2004, pp. 1557-1562, 2004, IEEE, 0-7803-8344-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Nicola Di Mauro, Floriana Esposito, Stefano Ferilli, Teresa Maria Altomare Basile |
A Backtracking Strategy for Order-Independent Incremental Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004, pp. 460-464, 2004, IOS Press, 1-58603-452-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
15 | Arnold Maestre, Christian Bessiere |
Improving Asynchronous Backtracking for Dealing with Complex Local Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004, pp. 206-210, 2004, IOS Press, 1-58603-452-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
15 | Bettina Biel, Matthias Book, Volker Gruhn, Dirk Peters, Clemens Schäfer |
Handling Backtracking in Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 30th EUROMICRO Conference 2004, 31 August - 3 September 2004, Rennes, France, pp. 388-395, 2004, IEEE Computer Society, 0-7695-2199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Susumu Suzuki, Toshihide Ibaraki |
An average running time analysis of a backtracking algorithm to calculate the measure of the union of hyperrectangles in $d$ dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 16th Canadian Conference on Computational Geometry, CCCG'04, Concordia University, Montréal, Québec, Canada, August 9-11, 2004, pp. 196-199, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
15 | Lyndon Paul Drake |
Combining inference and backtracking search for the propositional satisfiability problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
15 | Roman Barták |
Dynamic Global Constraints in Backtracking Based Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 118(1-4), pp. 101-119, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
dynamic models, global constraints, filtering algorithm |
15 | Lifeng He, Yuyan Chao, Hidenori Itoh |
Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 18(5), pp. 580-591, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Mustapha Belaïssaoui, Houssine Bouyakhf |
L'algorithme "Optimal Distributed Intelligent BackTracking". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tech. Sci. Informatiques ![In: Tech. Sci. Informatiques 22(1), pp. 303-306, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
15 | Philippe Jégou, Cyril Terrioux |
Hybrid backtracking bounded by tree-decomposition of constraint networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 146(1), pp. 43-75, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Maurice Bruynooghe |
Enhancing a Search Algorithm to Perform Intelligent Backtracking ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.AI/0311003, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
15 | David Eppstein |
Quasiconvex Analysis of Backtracking Algorithms ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.DS/0304018, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
15 | David Ngo Chek Ling |
An expert screen design and evaluation assistant that uses knowledge-based backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 45(6), pp. 293-304, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Bernhard Beckert |
Depth-first proof search without backtracking for free-variable clausal tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 36(1-2), pp. 117-138, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Hsien-Wen Tseng, Chin-Chen Chang 0001 |
Construction of Symmetrical Reversible Variable Length Codes Using Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 46(1), pp. 100-105, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | David L. J. Alexander, David W. Bulger, Graham R. Wood |
Expected search duration for finite backtracking adaptive search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Algorithms ![In: J. Algorithms 47(2), pp. 78-86, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi |
Value Elimination: Bayesian Interence via Backtracking Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: UAI '03, Proceedings of the 19th Conference in Uncertainty in Artificial Intelligence, Acapulco, Mexico, August 7-10 2003, pp. 20-28, 2003, Morgan Kaufmann, 0-127-05664-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
15 | Mustapha Belaïssaoui, Houssine Bouyakhf |
L'optimalité de l'algorithme "Distributed Intelligent Backtracking". ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003, pp. 303-306, 2003, Hermes/Lavoisier, 2-7462-0739-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
15 | Samuel T. King, Peter M. Chen |
Backtracking intrusions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, SOSP 2003, Bolton Landing, NY, USA, October 19-22, 2003, pp. 223-236, 2003, ACM, 1-58113-757-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
information flow, computer forensics, intrusion analysis |
15 | Malek Mouhoub, Samira Sadaoui, Amrudee Sukpan |
Chronological Backtracking Versus Formal Methods for Solving CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC-AI ![In: Proceedings of the International Conference on Artificial Intelligence, IC-AI '03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 1, pp. 270-275, 2003, CSREA Press, 1-932415-12-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
15 | Bruce Davey, Natashia Boland, Peter J. Stuckey |
Efficient Intelligent Backtracking Using Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFORMS J. Comput. ![In: INFORMS J. Comput. 14(4), pp. 373-386, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Rina Dechter, Daniel Frost |
Backjump-based backtracking for constraint satisfaction problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 136(2), pp. 147-188, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Ivan D. Baev, Waleed Meleis, Santosh G. Abraham |
Backtracking-Based Instruction Scheduling to Fill Branch Delay Slots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 30(6), pp. 397-418, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Michal Koucký 0001 |
Universal traversal sequences with backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 65(4), pp. 717-726, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Youssef Hamadi |
Interleaved Backtracking in Distributed Constraint Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Artif. Intell. Tools ![In: Int. J. Artif. Intell. Tools 11(2), pp. 167-188, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Tuomas Sandholm, Victor R. Lesser |
Leveled-Commitment Contracting: A Backtracking Instrument for Multiagent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Mag. ![In: AI Mag. 23(3), pp. 89-100, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Ian Horrocks 0001 |
Backtracking and Qualified Number Restrictions: Some Preliminary Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, 2002, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
15 | Allen Van Gelder |
Generalizations of Watched Literals for Backtracking Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI&M ![In: International Symposium on Artificial Intelligence and Mathematics, AI&M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
15 | Martin Giese |
Proof search without backtracking for free variable tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2002 |
RDF |
|
15 | Christopher A. Welty |
Backtracking: the eternal flame. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intell. ![In: Intell. 12(1), pp. 39-40, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Christopher A. Welty |
Backtracking: the demise of "!". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intell. ![In: Intell. 12(3), pp. 56, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Syed S. Ali |
Backtracking: the nine lives of the AI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intell. ![In: Intell. 12(2), pp. 56-, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Ke Xu 0001, Wei Li 0022 |
An Average Analysis of Backtracking on Random Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 33(1), pp. 21-37, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Ching-Wen Chen, Chung-Ping Chung |
Fault-tolerant gamma interconnection network without backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 58(1), pp. 23-31, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Mustapha Belaïssaoui, El-Houssine Bouyakhf |
Les réseaux de contraintes distribuées et le backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFIADSMA ![In: Fondements des systèmes multi-agents : modèles, spécifications formelles et vérification - JFIADSMA 01 - neuvième journées francophones d'Intelligence Artificielle et systèmes multi-agents, Montréal, Québec, Canada, November 12-14, 2001, pp. 265-276, 2001, Hermès Lavoisier Editions, 2-7462-0349-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
15 | Ben Kovitz |
Is Backtracking so Bad? The Role of Learning in Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 5th IEEE International Symposium on Requirements Engineering (RE 2001), 27-31 August 2001, Toronto, Canada, pp. 272, 2001, IEEE Computer Society, 0-7695-1125-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Ray-Shang Lo, Gen-Huey Chen |
Embedding Hamiltonian paths in faulty arrangement graphs with the backtracking method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCPR ![In: Proceedings of the ACM SIGCPR Conference on Computer Personnel Research, San Diego, California, USA, 2001, pp. 209-222, 2001, ACM, 1-58113-363-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Hamiltonian cycle, star graph, Hamiltonian path, graph-theoretic interconnection network, fault-tolerant embedding, arrangement graph |
15 | I. Sellami, Marie-José Huguet, Pierre Lopez |
A backtracking algorithm for solving mixed task scheduling and resource allocation problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA (2) ![In: Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2001, October 15-18, 2001, Antibes/Juan les Pins, France - Volume 2, pp. 741-744, 2001, IEEE. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Michal Koucký 0001 |
Universal Traversal Sequences with Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 16th Annual IEEE Conference on Computational Complexity, Chicago, Illinois, USA, June 18-21, 2001, pp. 21-27, 2001, IEEE Computer Society, 0-7695-1053-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Lifeng He |
UNSEARCHMO: Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001, pp. 618-623, 2001, Morgan Kaufmann, 1-55860-777-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
15 | Alexandre Riazanov, Andrei Voronkov |
Splitting Without Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001, pp. 611-617, 2001, Morgan Kaufmann, 1-55860-777-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
15 | Jean-François Baget, Yannic S. Tognetti |
Backtracking Through Biconnected Components of a Constraint Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001, pp. 291-296, 2001, Morgan Kaufmann, 1-55860-777-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
15 | Christopher A. Welty |
Backtracking: and the winner is.... ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intell. ![In: Intell. 11(4), pp. 57, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Christopher A. Welty |
Backtracking: robots that fly, part II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intell. ![In: Intell. 11(3), pp. 56, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Christopher A. Welty, Louis J. Hoebel |
Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intell. ![In: Intell. 11(1), pp. 60, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Christopher A. Welty, Louis J. Hoebel |
Backtracking: robots that fly, part I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intell. ![In: Intell. 11(2), pp. 64, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Kostas Stergiou 0001, Manolis Koubarakis |
Backtracking algorithms for disjunctions of temporal constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 120(1), pp. 81-117, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Ke Xu 0001, Wei Li 0022 |
An Average Analysis of Backtracking on Random Constraint Satisfaction Problems ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.CC/0005011, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
15 | Christelle Guéret, Narendra Jussien, Christian Prins |
Using intelligent backtracking to improve branch-and-bound methods: An application to Open-Shop problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 127(2), pp. 344-354, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Steven D. Prestwich |
Using an Incomplete Version of Dynamic Backtracking for Graph Colouring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Notes Discret. Math. ![In: Electron. Notes Discret. Math. 1, pp. 61-73, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | X. Ye |
Two grid discretizations with backtracking of the stream function form of the Navier-Stokes equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 100(2-3), pp. 131-138, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Louis J. Hoebel, Christopher A. Welty |
Backtracking: Garbage collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intell. ![In: Intell. 10(2), pp. 48, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Internet, LISP |
15 | Louis J. Hoebel, Christopher A. Welty |
Backtracking: the Chinese food problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intell. ![In: Intell. 10(1), pp. 48-49, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Christopher A. Welty, Louis J. Hoebel |
Backtracking: still garbage collecting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intell. ![In: Intell. 10(3), pp. 48, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Java, LISP |
15 | Marco Gavanelli, Michela Milano |
On the Need for a Different Backtracking Rule when Dealing with Late Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOID@ICLP ![In: Workshop on Optimization and Implementation of Declarative Programs, WOID 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 2-3, 1999, pp. 145-156, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Nirmalie Wiratunga, Susan Craw |
Incorporating Backtracking Search with Knowledge Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 193-205, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
15 | Brian Harvey |
Reasoning with Computers: Inference Vs. Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. Learn. ![In: Int. J. Comput. Math. Learn. 3(1), pp. 81-92, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Subbarao Kambhampati |
On the Relations Between Intelligent Backtracking and Failure-Driven Explanation-Based Learning in Constraint Satisfaction and Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 105(1-2), pp. 161-208, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Johannes A. La Poutré, Jeffery R. Westbrook |
Dynamic 2-Connectivity with Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 28(1), pp. 10-26, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Brendan D. McKay, Wendy J. Myrvold, Jacqueline Nadon |
Fast Backtracking Principles Applied to Find New Cages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, 25-27 January 1998, San Francisco, California, USA., pp. 188-191, 1998, ACM/SIAM, 0-89871-410-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
15 | Christian Bliek |
Generalizing Partial Order and Dynamic Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI/IAAI ![In: Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, AAAI 98, IAAI 98, July 26-30, 1998, Madison, Wisconsin, USA., pp. 319-325, 1998, AAAI Press / The MIT Press, 0-262-51098-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
15 | Kostas Stergiou 0001, Manolis Koubarakis |
Backtracking Algorithms for Disjunctions of Temporal Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI/IAAI ![In: Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, AAAI 98, IAAI 98, July 26-30, 1998, Madison, Wisconsin, USA., pp. 248-253, 1998, AAAI Press / The MIT Press, 0-262-51098-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
15 | Youssef Hamadi, Christian Bessière, Joël Quinqueton |
Distributed Intelligent Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: 13th European Conference on Artificial Intelligence, Brighton, UK, August 23-28 1998, Proceedings. , pp. 219-223, 1998, John Wiley and Sons, 9780471984313. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
15 | Ilyas Cicekli |
An Intelligent Backtracking Schema in A Logic Programming Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 32(3), pp. 42-49, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Christopher A. Welty, Louis J. Hoebel |
Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGART Bull. ![In: SIGART Bull. 8(1-4), pp. 40, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Paul Walton Purdom Jr. |
Backtracking and Random Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 20(1-4), pp. 393-410, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Grzegorz Kondrak, Peter van Beek |
A Theoretical Evaluation of Selected Backtracking Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 89(1-2), pp. 365-387, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | V. Ramasubramanian 0001, Kuldip K. Paliwal |
Fast Vector Quantization Encoding Based onK-d Tree Backtracking Search Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Signal Process. ![In: Digit. Signal Process. 7(3), pp. 163-187, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Paul Walton Purdom Jr., G. Neil Haven |
Probe Order Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 26(2), pp. 456-483, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Charles Petrie, Heecheol Jeon, Mark R. Cutkosky |
Combining Constraint Propagation and Backtracking for Distributed Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Workshop: Constraints & Agents ![In: Constraints & Agents: Collected Papers from the 1997 AAAI Workshop, Providence, RI, USA, July 27, 1997., pp. 76-82, 1997, AAAI Press, 1-57735-032-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
15 | Andy Schürr |
BDL-A Nondeterministic Data Flow Programming Language with Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 1997 IEEE Symposium on Visual Languages, Isle of Capri, Italy, September 23-26, 1997, pp. 398-405, 1997, IEEE Computer Society, 0-8186-8144-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Irina Rish, Daniel Frost |
Statistical Analysis of Backtracking on Inconsistent CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings, pp. 150-162, 1997, Springer. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Wilfried Neitz |
Untersuchungen zum selektiven Backtracking in zielorientierten Kalkülen des automatischen Theorembeweisens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1997 |
RDF |
|
15 | Martin Zahn, Walter Hower |
Backtracking along with constraint processing and their time complexities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Exp. Theor. Artif. Intell. ![In: J. Exp. Theor. Artif. Intell. 8(1), pp. 63-74, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Masami Shishibori, Jun-Ichi Aoe |
Fast Allocation of Diagrams Without Backtracking Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 92(1-4), pp. 65-85, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Jennifer Burg, Sheau-Dong Lang, Charles E. Hughes |
Intelligent Backtracking in CLP(R). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 17(3-4), pp. 189-211, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Richard A. Frost, Barbara Szydlowski |
Memoizing Purely Functional Top-Down Backtracking Language Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 27(3), pp. 263-288, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Truong Quoc Dung |
A Revision of Dependency-Directed Backtracking for JTMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 57-60, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Paul Walton Purdom Jr., G. Neil Haven |
Backtracking and probing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Satisfiability Problem: Theory and Applications ![In: Satisfiability Problem: Theory and Applications, Proceedings of a DIMACS Workshop, Piscataway, New Jersey, USA, March 11-13, 1996, pp. 153-209, 1996, DIMACS/AMS, 978-0-8218-0479-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Jian Zhang 0001, Hantao Zhang 0001 |
Combining Local Search and Backtracking Techniques for Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI/IAAI, Vol. 1 ![In: Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, AAAI 96, IAAI 96, Portland, Oregon, USA, August 4-8, 1996, Volume 1., pp. 369-374, 1996, AAAI Press / The MIT Press, 0-262-51091-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
15 | Subbarao Kambhampati |
Formalizing Dependency Directed Backtracking and Explanation Based Learning in Refinement Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI/IAAI, Vol. 1 ![In: Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, AAAI 96, IAAI 96, Portland, Oregon, USA, August 4-8, 1996, Volume 1., pp. 757-762, 1996, AAAI Press / The MIT Press, 0-262-51091-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
15 | Dayton Clark, David M. Arnow |
Backtracking and Constraints in Tcl-BC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tcl/Tk Workshop ![In: Fourth Annual USENIX Tcl/Tk Workshop 1996, Monterey, California, USA, July 10-13, 1996, 1996, USENIX Association. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
15 | Pierre-Paul Mérel, Zineb Habbas, Francine Herrmann, Daniel Singer |
N-Ary Consistencies and Constraint-Based Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, Cambridge, Massachusetts, USA, August 19-22, 1996, pp. 551-552, 1996, Springer. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Norman M. Sadeh, Katia P. Sycara, Yalin Xiong |
Backtracking Techniques for the Job Shop Scheduling Constraint Satisfaction Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 76(1-2), pp. 455-480, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Kamal K. Gupta, Zhenping Guo |
Motion planning for many degrees of freedom: sequential search with backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics Autom. ![In: IEEE Trans. Robotics Autom. 11(6), pp. 897-906, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Frank Ruskey, Ming Jiang 0008, Andrew Weston |
The Hamiltonicity of Directed sigma - tao Cayley Graphs (or: A Tale of Backtracking). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 57(1), pp. 75-83, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Ilmir Kh. Musikaev, Michael A. Taitslin |
Flat Backtracking Prolog for Databases: A Formal Semantics, the Computational Complexity and the Expressibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 6(1), pp. 11-26, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Albert Nymeyer |
Backtracking non-deterministic recognizers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Program. Lang. ![In: J. Program. Lang. 3(4), 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
15 | Pascal Van Hentenryck, Viswanath Ramachandran |
Backtracking without Trailing in CLP(R-lin) ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 17(4), pp. 635-671, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
15 | Laura Giordano 0001, Alberto Martelli |
A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Intell. ![In: Comput. Intell. 11, pp. 11-46, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Axel Hehmann |
Finding Stable Subassemblies with Backtracking Divide and Conquer on Strongly Connected Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 1995 International Conference on Robotics and Automation, Nagoya, Aichi, Japan, May 21-27, 1995, pp. 1599-1604, 1995, IEEE Computer Society, 0-7803-1965-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Michael A. Palis, David S. L. Wei |
Backtracking and Branch-and-Bound on Mesh-Connected Computers with Reconfigurable Buses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel and Distributed Computing and Systems ![In: Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, Washington, D.C., USA, October 19-21, 1995, pp. 243-247, 1995, IASTED/ACTA Press. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
15 | Peter Sanders 0001 |
Better Algorithms for Parallel Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRREGULAR ![In: Parallel Algorithms for Irregularly Structured Problems, Second International Workshop, IRREGULAR '95, Lyon, France, September 4-6, 1995, Proceedings, pp. 333-347, 1995, Springer, 3-540-60321-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Grzegorz Kondrak, Peter van Beek |
A Theoretical Evaluation of Selected Backtracking Algorithms. (Outstanding Paper Award) ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal Québec, Canada, August 20-25 1995, 2 Volumes, pp. 541-547, 1995, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
15 | Bill Harvey |
Nonsystematic backtracking search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1995 |
RDF |
|