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. |
Informatica (Slovenia) |
2004 |
DBLP BibTeX RDF |
|
15 | Maurice Bruynooghe |
Enhancing a search algorithm to perform intelligent backtracking. |
Theory Pract. Log. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Evgeny B. Krissinel, Kim Henrick |
Common subgraph isomorphism detection by backtracking search. |
Softw. Pract. Exp. |
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. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Timothy J. Rolfe, Paul W. Purdom |
An alternative problem for backtracking and bounding. |
ITiCSE-WGR |
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. |
WCNC |
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. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
15 | Arnold Maestre, Christian Bessiere |
Improving Asynchronous Backtracking for Dealing with Complex Local Problems. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
15 | Bettina Biel, Matthias Book, Volker Gruhn, Dirk Peters, Clemens Schäfer |
Handling Backtracking in Web Applications. |
EUROMICRO |
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. |
CCCG |
2004 |
DBLP BibTeX RDF |
|
15 | Lyndon Paul Drake |
Combining inference and backtracking search for the propositional satisfiability problem. |
|
2004 |
RDF |
|
15 | Roman Barták |
Dynamic Global Constraints in Backtracking Based Environments. |
Ann. Oper. Res. |
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. |
J. Comput. Sci. Technol. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Mustapha Belaïssaoui, Houssine Bouyakhf |
L'algorithme "Optimal Distributed Intelligent BackTracking". |
Tech. Sci. Informatiques |
2003 |
DBLP BibTeX RDF |
|
15 | Philippe Jégou, Cyril Terrioux |
Hybrid backtracking bounded by tree-decomposition of constraint networks. |
Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Maurice Bruynooghe |
Enhancing a Search Algorithm to Perform Intelligent Backtracking |
CoRR |
2003 |
DBLP BibTeX RDF |
|
15 | David Eppstein |
Quasiconvex Analysis of Backtracking Algorithms |
CoRR |
2003 |
DBLP BibTeX RDF |
|
15 | David Ngo Chek Ling |
An expert screen design and evaluation assistant that uses knowledge-based backtracking. |
Inf. Softw. Technol. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Bernhard Beckert |
Depth-first proof search without backtracking for free-variable clausal tableaux. |
J. Symb. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Hsien-Wen Tseng, Chin-Chen Chang 0001 |
Construction of Symmetrical Reversible Variable Length Codes Using Backtracking. |
Comput. J. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | David L. J. Alexander, David W. Bulger, Graham R. Wood |
Expected search duration for finite backtracking adaptive search. |
J. Algorithms |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi |
Value Elimination: Bayesian Interence via Backtracking Search. |
UAI |
2003 |
DBLP BibTeX RDF |
|
15 | Mustapha Belaïssaoui, Houssine Bouyakhf |
L'optimalité de l'algorithme "Distributed Intelligent Backtracking". |
JFPLC |
2003 |
DBLP BibTeX RDF |
|
15 | Samuel T. King, Peter M. Chen |
Backtracking intrusions. |
SOSP |
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. |
IC-AI |
2003 |
DBLP BibTeX RDF |
|
15 | Bruce Davey, Natashia Boland, Peter J. Stuckey |
Efficient Intelligent Backtracking Using Linear Programming. |
INFORMS J. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Rina Dechter, Daniel Frost |
Backjump-based backtracking for constraint satisfaction problems. |
Artif. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Ivan D. Baev, Waleed Meleis, Santosh G. Abraham |
Backtracking-Based Instruction Scheduling to Fill Branch Delay Slots. |
Int. J. Parallel Program. |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Michal Koucký 0001 |
Universal traversal sequences with backtracking. |
J. Comput. Syst. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Youssef Hamadi |
Interleaved Backtracking in Distributed Constraint Networks. |
Int. J. Artif. Intell. Tools |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Tuomas Sandholm, Victor R. Lesser |
Leveled-Commitment Contracting: A Backtracking Instrument for Multiagent Systems. |
AI Mag. |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Ian Horrocks 0001 |
Backtracking and Qualified Number Restrictions: Some Preliminary Results. |
Description Logics |
2002 |
DBLP BibTeX RDF |
|
15 | Allen Van Gelder |
Generalizations of Watched Literals for Backtracking Search. |
AI&M |
2002 |
DBLP BibTeX RDF |
|
15 | Martin Giese |
Proof search without backtracking for free variable tableaux. |
|
2002 |
RDF |
|
15 | Christopher A. Welty |
Backtracking: the eternal flame. |
Intell. |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Christopher A. Welty |
Backtracking: the demise of "!". |
Intell. |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Syed S. Ali |
Backtracking: the nine lives of the AI. |
Intell. |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Ke Xu 0001, Wei Li 0022 |
An Average Analysis of Backtracking on Random Constraint Satisfaction Problems. |
Ann. Math. Artif. Intell. |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Ching-Wen Chen, Chung-Ping Chung |
Fault-tolerant gamma interconnection network without backtracking. |
J. Syst. Softw. |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Mustapha Belaïssaoui, El-Houssine Bouyakhf |
Les réseaux de contraintes distribuées et le backtracking. |
JFIADSMA |
2001 |
DBLP BibTeX RDF |
|
15 | Ben Kovitz |
Is Backtracking so Bad? The Role of Learning in Software Development. |
RE |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Ray-Shang Lo, Gen-Huey Chen |
Embedding Hamiltonian paths in faulty arrangement graphs with the backtracking method. |
SIGCPR |
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. |
ETFA (2) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Michal Koucký 0001 |
Universal Traversal Sequences with Backtracking. |
CCC |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Lifeng He |
UNSEARCHMO: Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
15 | Alexandre Riazanov, Andrei Voronkov |
Splitting Without Backtracking. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
15 | Jean-François Baget, Yannic S. Tognetti |
Backtracking Through Biconnected Components of a Constraint Graph. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
15 | Christopher A. Welty |
Backtracking: and the winner is.... |
Intell. |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Christopher A. Welty |
Backtracking: robots that fly, part II. |
Intell. |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Christopher A. Welty, Louis J. Hoebel |
Backtracking. |
Intell. |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Christopher A. Welty, Louis J. Hoebel |
Backtracking: robots that fly, part I. |
Intell. |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Kostas Stergiou 0001, Manolis Koubarakis |
Backtracking algorithms for disjunctions of temporal constraints. |
Artif. Intell. |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Ke Xu 0001, Wei Li 0022 |
An Average Analysis of Backtracking on Random Constraint Satisfaction Problems |
CoRR |
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. |
Eur. J. Oper. Res. |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Steven D. Prestwich |
Using an Incomplete Version of Dynamic Backtracking for Graph Colouring. |
Electron. Notes Discret. Math. |
1999 |
DBLP DOI BibTeX RDF |
|
15 | X. Ye |
Two grid discretizations with backtracking of the stream function form of the Navier-Stokes equations. |
Appl. Math. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Louis J. Hoebel, Christopher A. Welty |
Backtracking: Garbage collection. |
Intell. |
1999 |
DBLP DOI BibTeX RDF |
Internet, LISP |
15 | Louis J. Hoebel, Christopher A. Welty |
Backtracking: the Chinese food problem. |
Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Christopher A. Welty, Louis J. Hoebel |
Backtracking: still garbage collecting. |
Intell. |
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. |
WOID@ICLP |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Nirmalie Wiratunga, Susan Craw |
Incorporating Backtracking Search with Knowledge Refinement. |
EUROVAV |
1999 |
DBLP BibTeX RDF |
|
15 | Brian Harvey |
Reasoning with Computers: Inference Vs. Backtracking. |
Int. J. Comput. Math. Learn. |
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. |
Artif. Intell. |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Johannes A. La Poutré, Jeffery R. Westbrook |
Dynamic 2-Connectivity with Backtracking. |
SIAM J. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Brendan D. McKay, Wendy J. Myrvold, Jacqueline Nadon |
Fast Backtracking Principles Applied to Find New Cages. |
SODA |
1998 |
DBLP BibTeX RDF |
|
15 | Christian Bliek |
Generalizing Partial Order and Dynamic Backtracking. |
AAAI/IAAI |
1998 |
DBLP BibTeX RDF |
|
15 | Kostas Stergiou 0001, Manolis Koubarakis |
Backtracking Algorithms for Disjunctions of Temporal Constraints. |
AAAI/IAAI |
1998 |
DBLP BibTeX RDF |
|
15 | Youssef Hamadi, Christian Bessière, Joël Quinqueton |
Distributed Intelligent Backtracking. |
ECAI |
1998 |
DBLP BibTeX RDF |
|
15 | Ilyas Cicekli |
An Intelligent Backtracking Schema in A Logic Programming Environment. |
ACM SIGPLAN Notices |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Christopher A. Welty, Louis J. Hoebel |
Backtracking. |
SIGART Bull. |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Paul Walton Purdom Jr. |
Backtracking and Random Constraint Satisfaction. |
Ann. Math. Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Grzegorz Kondrak, Peter van Beek |
A Theoretical Evaluation of Selected Backtracking Algorithms. |
Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
15 | V. Ramasubramanian 0001, Kuldip K. Paliwal |
Fast Vector Quantization Encoding Based onK-d Tree Backtracking Search Algorithm. |
Digit. Signal Process. |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Paul Walton Purdom Jr., G. Neil Haven |
Probe Order Backtracking. |
SIAM J. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Charles Petrie, Heecheol Jeon, Mark R. Cutkosky |
Combining Constraint Propagation and Backtracking for Distributed Engineering. |
AAAI Workshop: Constraints & Agents |
1997 |
DBLP BibTeX RDF |
|
15 | Andy Schürr |
BDL-A Nondeterministic Data Flow Programming Language with Backtracking. |
VL |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Irina Rish, Daniel Frost |
Statistical Analysis of Backtracking on Inconsistent CSPs. |
CP |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Wilfried Neitz |
Untersuchungen zum selektiven Backtracking in zielorientierten Kalkülen des automatischen Theorembeweisens. |
|
1997 |
RDF |
|
15 | Martin Zahn, Walter Hower |
Backtracking along with constraint processing and their time complexities. |
J. Exp. Theor. Artif. Intell. |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Masami Shishibori, Jun-Ichi Aoe |
Fast Allocation of Diagrams Without Backtracking Processes. |
Inf. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Jennifer Burg, Sheau-Dong Lang, Charles E. Hughes |
Intelligent Backtracking in CLP(R). |
Ann. Math. Artif. Intell. |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Richard A. Frost, Barbara Szydlowski |
Memoizing Purely Functional Top-Down Backtracking Language Processors. |
Sci. Comput. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Truong Quoc Dung |
A Revision of Dependency-Directed Backtracking for JTMS. |
KI |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Paul Walton Purdom Jr., G. Neil Haven |
Backtracking and probing. |
Satisfiability Problem: Theory and Applications |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Jian Zhang 0001, Hantao Zhang 0001 |
Combining Local Search and Backtracking Techniques for Constraint Satisfaction. |
AAAI/IAAI, Vol. 1 |
1996 |
DBLP BibTeX RDF |
|
15 | Subbarao Kambhampati |
Formalizing Dependency Directed Backtracking and Explanation Based Learning in Refinement Search. |
AAAI/IAAI, Vol. 1 |
1996 |
DBLP BibTeX RDF |
|
15 | Dayton Clark, David M. Arnow |
Backtracking and Constraints in Tcl-BC. |
Tcl/Tk Workshop |
1996 |
DBLP BibTeX RDF |
|
15 | Pierre-Paul Mérel, Zineb Habbas, Francine Herrmann, Daniel Singer |
N-Ary Consistencies and Constraint-Based Backtracking. |
CP |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Norman M. Sadeh, Katia P. Sycara, Yalin Xiong |
Backtracking Techniques for the Job Shop Scheduling Constraint Satisfaction Problem. |
Artif. Intell. |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Kamal K. Gupta, Zhenping Guo |
Motion planning for many degrees of freedom: sequential search with backtracking. |
IEEE Trans. Robotics Autom. |
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). |
Discret. Appl. Math. |
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. |
Int. J. Found. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Albert Nymeyer |
Backtracking non-deterministic recognizers. |
J. Program. Lang. |
1995 |
DBLP BibTeX RDF |
|
15 | Pascal Van Hentenryck, Viswanath Ramachandran |
Backtracking without Trailing in CLP(R-lin) |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP BibTeX RDF |
|
15 | Laura Giordano 0001, Alberto Martelli |
A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking. |
Comput. Intell. |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Axel Hehmann |
Finding Stable Subassemblies with Backtracking Divide and Conquer on Strongly Connected Components. |
ICRA |
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. |
Parallel and Distributed Computing and Systems |
1995 |
DBLP BibTeX RDF |
|
15 | Peter Sanders 0001 |
Better Algorithms for Parallel Backtracking. |
IRREGULAR |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Grzegorz Kondrak, Peter van Beek |
A Theoretical Evaluation of Selected Backtracking Algorithms. (Outstanding Paper Award) |
IJCAI |
1995 |
DBLP BibTeX RDF |
|
15 | Bill Harvey |
Nonsystematic backtracking search. |
|
1995 |
RDF |
|