Search results for "backtracking"

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