Search results for "backtracking"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Jefferey A. Shufelt, Hans J. Berliner	Generating Hamiltonian Circuits without Backtracking from Errors.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
15	Libero Nigro, Giuseppe Veneziano	Control Abstractions in Modula-2: A Case Study Using Advanced Backtracking.	Informatica (Slovenia)	1994	DBLP BibTeX RDF
15	Hilary A. Priestley, Martin P. Ward	A Multipurpose Backtracking Algorithm.	J. Symb. Comput.	1994	DBLP DOI BibTeX RDF
15	Alberto Apostolico, Giuseppe F. Italiano, Giorgio Gambosi, Maurizio Talamo	The Set Union Problem With Unlimited Backtracking.	SIAM J. Comput.	1994	DBLP DOI BibTeX RDF
15	Dongxing Tang, Enrico Pontelli, Gopal Gupta 0001, Manuel Carro	Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems.	ILPS	1994	DBLP BibTeX RDF
15	Johannes A. La Poutré, Jeffery R. Westbrook	Dynamic Two-Connectivity with Backtracking.	SODA	1994	DBLP DOI BibTeX RDF
15	Matthew L. Ginsberg, David A. McAllester	GSAT and Dynamic Backtracking.	PPCP	1994	DBLP DOI BibTeX RDF
15	Alexander Reinefeld	Effective Parallel Backtracking Methods for Operations Research Applications.	EUROSIM	1994	DBLP BibTeX RDF
15	Donald A. Smith	Modeling Backtracking, Disjunctive Constraints, and Control/Data Or-Parallelism.	ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs	1994	DBLP BibTeX RDF
15	Dongxing Tang, Enrico Pontelli, Gopal Gupta 0001, Manuel Carro	Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems.	ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs	1994	DBLP BibTeX RDF
15	Michael Bieber, Jiangling Wan	Backtracking in a Multiple-Window Hypertext Environment.	ECHT	1994	DBLP DOI BibTeX RDF
15	Andrew B. Baker	The Hazards of Fancy Backtracking.	AAAI	1994	DBLP BibTeX RDF
15	Hiroshi Maruyama	Backtracking-Free Dictionary Access Method for Japanese Morphological Analysis.	COLING	1994	DBLP BibTeX RDF
15	Matthew L. Ginsberg, David A. McAllester	GSAT and Dynamic Backtracking.	KR	1994	DBLP BibTeX RDF
15	Jared L. Darlington, Harald-Reto Fonio	Foretracking versus Backtracking in AI Languages.	Applied Informatics	1994	DBLP BibTeX RDF
15	Eva Kühn, Herbert Pohlai, Franz Puntigam	Concurrency and Backtracking in VPL.	Comput. Lang.	1993	DBLP DOI BibTeX RDF
15	Matthew L. Ginsberg	Dynamic Backtracking.	J. Artif. Intell. Res.	1993	DBLP DOI BibTeX RDF
15	Matthew L. Ginsberg	Dynamic Backtracking	CoRR	1993	DBLP BibTeX RDF
15	Hiralal Agrawal, Richard A. DeMillo, Eugene H. Spafford	Debugging with Dynamic Slicing and Backtracking.	Softw. Pract. Exp.	1993	DBLP DOI BibTeX RDF
15	Khaled M. Bugrara, Paul Walton Purdom Jr.	Average Time Analysis of Clause Order Backtracking.	SIAM J. Comput.	1993	DBLP DOI BibTeX RDF
15	Nikolai K. Kossovsky, Igor P. Solovjev	Function-Patterns and Fan-Backtracking for Logic Programming.	ICLP	1993	DBLP BibTeX RDF
15	Mark K. Goldberg, Reid D. Rivenburgh	Constructing cliques using restricted backtracking.	Cliques, Coloring, and Satisfiability	1993	DBLP DOI BibTeX RDF
15	Tetsuo Tamai, Akito Itou	Requirements and Design Change in Large-Scale Software Development: Analysis From the Viewpoint of Process Backtracking.	ICSE	1993	DBLP BibTeX RDF
15	Patrick Prosser	Domain Filtering can Degrade Intelligent Backtracking Search.	IJCAI	1993	DBLP BibTeX RDF
15	Kamal Kant Gupta, Zhenping Guo	Motion planning for many degrees of freedom: sequential search with backtracking.	ICRA	1992	DBLP DOI BibTeX RDF
15	Pavel Vogel, R. Erfle	Backtracking Office Procedures.	DEXA	1992	DBLP BibTeX RDF
15	Mary Lou Dorf	Backtracking the rat way.	SIGCSE	1992	DBLP DOI BibTeX RDF
15	Wilfried Neitz	A Connection Method based Theorem Prover with Selective Backtracking (Extended Abstract).	TABLEAUX	1992	DBLP BibTeX RDF
15	Nikitas J. Dimopoulos, Mahmood Chowdhury, Radhakrishnan Sivakumar, Vassilios V. Dimakopoulos	Routing in Hypercycles. Deadlock Free and Backtracking Strategies.	PARLE	1992	DBLP DOI BibTeX RDF
15	Yalin Xiong, Norman M. Sadeh, Katia P. Sycara	Intelligent Backtracking Techniques for Job Shop Scheduling.	KR	1992	DBLP BibTeX RDF
15	Yaowei Liu	Stronger procedural backtracking: the language btC		1992	DOI RDF
15	Giorgio Gambosi, Giuseppe F. Italiano, Maurizio Talamo	The Set Union Problem with Dynamic Weighted Backtracking.	BIT	1991	DBLP DOI BibTeX RDF
15	Hiralal Agrawal, Richard A. DeMillo, Eugene H. Spafford	An Execution-Backtracking Approach to Debugging.	IEEE Softw.	1991	DBLP DOI BibTeX RDF
15	Maarten M. Fokkinga	An Exercise in Transformational Programming: Backtracking and Branch-and-Bound.	Sci. Comput. Program.	1991	DBLP DOI BibTeX RDF
15	Bruno De Backer, Henri Beringer	Intelligent Backtracking for CLP Languages: An Application to CLP(R).	ISLP	1991	DBLP BibTeX RDF
15	Andrew Roy Verden, Hugh Glaser	Intelligent Backtracking in And-Parallel Prolog.	Declarative Programming	1991	DBLP DOI BibTeX RDF
15	Maurice Bruynooghe	Intelligent Backtracking Revisted.	Computational Logic - Essays in Honor of Alan Robinson	1991	DBLP BibTeX RDF
15	Philippe Codognet, Thierry Sola	Extending the WAM for Intelligent Backtracking.	ICLP	1991	DBLP BibTeX RDF
15	Michel Billaud	Axiomatizations of Backtracking.	JTASPEFT/WSA	1991	DBLP BibTeX RDF
15	Ivan Rival, Siming Zhan	Linear Extensions with Backtracking.	ICCI	1991	DBLP DOI BibTeX RDF
15	Philippe Schnoebelen	Experiments on Processes with Backtracking.	CONCUR	1991	DBLP DOI BibTeX RDF
15	Philippe Codognet, François Fages, Thierry Sola	A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking.	WCLP	1991	DBLP BibTeX RDF
15	Benjamin D. Smith, Paul S. Rosenbloom	Incremental Non-Backtracking Focusing: A Polynomially Bounded Generalization Algorithm for Version Spaces.	AAAI	1990	DBLP BibTeX RDF
15	Ulrich Junker	Variations on Backtracking for TMS.	Truth Maintenance Systems (ECAI Workshop)	1990	DBLP DOI BibTeX RDF
15	Nikos Drakos	Sequential and parallel execution of logic programs with dependency directed backtracking.		1990	RDF
15	David A. Wolfram	Forward Checking and Intelligent Backtracking.	Inf. Process. Lett.	1989	DBLP DOI BibTeX RDF
15	Vishv M. Malhotra, T. V. To, Kanchana Kanchanasut	An Improved Data-Dependency-Based Backtracking Scheme for Prolog.	Inf. Process. Lett.	1989	DBLP DOI BibTeX RDF
15	Giorgio Gambosi, Giuseppe F. Italiano, Maurizio Talamo	Worst-Case Analysis of the Set-Union Problem with Extended Backtracking.	Theor. Comput. Sci.	1989	DBLP DOI BibTeX RDF
15	Hiralal Agrawal, Eugene H. Spafford	Bibliography on debugging and backtracking.	ACM SIGSOFT Softw. Eng. Notes	1989	DBLP DOI BibTeX RDF
15	David A. Wolfram	Intractable Unifiability Problems and Backtracking.	J. Autom. Reason.	1989	DBLP DOI BibTeX RDF
15	Jeffery R. Westbrook, Robert Endre Tarjan	Amortized Analysis of Algorithms for Set Union with Backtracking.	SIAM J. Comput.	1989	DBLP DOI BibTeX RDF
15	Zheng Lin 0010	Expected Performance of the Randomized Parallel Backtracking Method.	NACLP	1989	DBLP BibTeX RDF
15	Christian Codognet, Philippe Codognet	Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking.	ICLP	1989	DBLP BibTeX RDF
15	Mats Carlsson	On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog.	ICLP	1989	DBLP BibTeX RDF
15	Christian Codognet, Philippe Codognet	Non-deterministic Stream AND-parallelism based on Intelligent Backtracking.	SPLT	1989	DBLP BibTeX RDF
15	Chunming Qiao	On the combined approach to intelligent backtracking.	TAI	1989	DBLP DOI BibTeX RDF
15	Jia-Huai You, Brian Wong, Chung-Sea Law	A new intelligent backtracking scheme for Prolog: a summary of results.	TAI	1989	DBLP DOI BibTeX RDF
15	W. B. Zeng, D. Z. Wei	Intelligent backtracking in test generation for combinational circuits.	ICCD	1989	DBLP DOI BibTeX RDF
15	Hyoung B. Min, William A. Rogers	Search Strategy Switching: An Alternative to Increased Backtracking.	ITC	1989	DBLP DOI BibTeX RDF
15	Nikos Drakos	Unrestricted And-Parallel Execution of Logic Programs with Dependency Directed Backtracking.	IJCAI	1989	DBLP BibTeX RDF
15	Albert Nathan	Transformations for backtracking SETL programs.		1989	RDF
15	Hong Xia	Analyzing data dependencies, detecting AND-parallelism and optimizing backtracking in Prolog programs.		1989	RDF
15	Vipin Kumar 0001, Yow-Jian Lin	A Data-Dependency-Based Intelligent Backtracking Scheme for Prolog.	J. Log. Program.	1988	DBLP DOI BibTeX RDF
15	Zoltan Somogyi, Kotagiri Ramamohanarao, Jayen Vaghani	A backtracking algorithm for the stream AND-parallel execution of logic programs.	Int. J. Parallel Program.	1988	DBLP DOI BibTeX RDF
15	Sandra Marcus, Jeffrey Stout, John P. McDermott	VT: An Expert Elevator Designer That Uses Knowledge-Based Backtracking.	AI Mag.	1988	DBLP BibTeX RDF
15	M. De Blasi, A. Gentile, G. Lopez, A. Franco	Parallel backtracking prolog engine.	Microprocess. Microprogramming	1988	DBLP DOI BibTeX RDF
15	David M. Nicol	Expected Performance of m-Solution Backtracking.	SIAM J. Comput.	1988	DBLP DOI BibTeX RDF
15	Bernd Schwinn	RAPiD - ein Datenflußmodell zur Realisierung von UND-Parallelität und intelligentem Backtracking in Hornklausel-Programmen.		1988	RDF
15	Wilf R. LaLonde, Mark Van Gulik	Building a Backtracking Facility in Smalltalk Without Kernel Support.	OOPSLA	1988	DBLP DOI BibTeX RDF
15	Knut Hinkelmann, Klaus Nökel, Robert Rehbold	SASLOG: Lazy Evaluation Meets Backtracking.	GWAI	1988	DBLP DOI BibTeX RDF
15	Christian Codognet, Philippe Codognet, Gilberto Filé	Yet Another Intelligent Backtracking Method.	ICLP/SLP	1988	DBLP BibTeX RDF
15	Zoltan Somogyi, Kotagiri Ramamohanarao, Jayen Vaghani	A Stream AND-Parallel Execution Algorithm with Backtracking.	ICLP/SLP	1988	DBLP BibTeX RDF
15	Christian Codognet, Philippe Codognet, Gilberto Filé	Yet another intelligent Backtracking method.	SPLT	1988	DBLP BibTeX RDF
15	Eric Thirion, Roger Mohr	Matching 3-D Images without Backtracking through Feature Grouping.	ECAI	1988	DBLP BibTeX RDF
15	Tomas Hrycej	Intelligent Backtracking with Structured Contexts.	ECAI	1988	DBLP BibTeX RDF
15	Sandra Marcus	Taking Backtracking with a Grain of SALT.	Int. J. Man Mach. Stud.	1987	DBLP DOI BibTeX RDF
15	Raphael A. Finkel, Udi Manber	DIB - A Distributed Implementation of Backtracking.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF
15	M. C. Er	An Efficient Implementation of Permutation Backtracking in Lexicographic Order.	Comput. J.	1987	DBLP DOI BibTeX RDF
15	Vipin Kumar 0001, Yow-Jian Lin	An Intelligent Backtracking Scheme for Prolog.	SLP	1987	DBLP BibTeX RDF
15	Harald Westphal, Philippe Robert, Jacques Chassin de Kergommeaux, Jean-Claude Syre	The PEPSys Model: Combining Backtracking, AND- and OR-Parallelism.	SLP	1987	DBLP BibTeX RDF
15	A. Belkhiri	Une technique de backtracking intelligent, basée sur un algorithme d'unification étendu et sur la datation du processus de résolution.	SPLT	1987	DBLP BibTeX RDF
15	Ramin Zabih, David A. McAllester, David Chapman	Non-Deterministic Lisp with Dependency-directed Backtracking.	AAAI	1987	DBLP BibTeX RDF
15	Charles J. Petrie	Revised Dependencydirected Backtracking for Default Reasoning.	AAAI	1987	DBLP BibTeX RDF
15	Ewald Speckenmeyer, Burkhard Monien, Oliver Vornberger	Superlinear Speedup for Parallel Backtracking.	ICS	1987	DBLP DOI BibTeX RDF
15	Virendra K. Janakiram, Dharma P. Agrawal, Ravi Mehrotra	Randomized Parallel Algorithms for Prolog Programs and Backtracking Applications.	ICPP	1987	DBLP BibTeX RDF
15	Harold S. Stone, Paolo Sipala	The Average Complexity of Depth-First Search with Backtracking and Cutoff.	IBM J. Res. Dev.	1986	DBLP DOI BibTeX RDF
15	Werner Dilger, Agnes Janson	Intelligent Backtracking in Deduction Systems by Means of Extended Unification Graphs.	J. Autom. Reason.	1986	DBLP DOI BibTeX RDF
15	Vasant Dhar	Using knowledge generated in heuristic search for nonchronological backtracking.	Comput. Intell.	1986	DBLP DOI BibTeX RDF
15	Peter Borgwardt, Doris Rea	Distributed Semi-intelligent Backtracking for a Stack-based AND-parallel Prolog.	SLP	1986	DBLP BibTeX RDF
15	Christian Codognet, Philippe Codognet, Gilberto Filé	A Very Intelligent Backtracking Method for Logic Programs.	ESOP	1986	DBLP DOI BibTeX RDF
15	Manuel V. Hermenegildo, R. I. Nasr	Efficient Management of Backtracking in AND-Parallelism.	ICLP	1986	DBLP DOI BibTeX RDF
15	Luís Moniz Pereira, Luís Monteiro, José C. Cunha, Joaquim Nunes Aparício	Delta Prolog: A Distributed Backtracking Extension with Events.	ICLP	1986	DBLP DOI BibTeX RDF
15	David A. Wolfram	Intractable Unifiability Problems and Backtracking.	ICLP	1986	DBLP DOI BibTeX RDF
15	Yow-Jian Lin, Vipin Kumar 0001, Clement H. C. Leung	An Intelligent Backtracking Algorithm for Parallel Execution of Logic Programs.	ICLP	1986	DBLP DOI BibTeX RDF
15	Christian Codognet, Philippe Codognet, Gilberto Filé	Backtracking intelligent en programmation logique.	SPLT	1986	DBLP BibTeX RDF
15	Johan de Kleer, Brian C. Williams	Back to Backtracking: Controlling the ATMS.	AAAI	1986	DBLP BibTeX RDF
15	Lutz Plümer	Und-Parallelismus und effizientes Backtracking von Prolog-Prozeduren.	GI Jahrestagung (1)	1986	DBLP DOI BibTeX RDF
15	Rainer Hammwöhner, Ulrich Thiel	Die Behandlung graphischer Seiteneffekte beim Backtracking in Prolog.	GI Jahrestagung (1)	1986	DBLP DOI BibTeX RDF
15	Gerhard Chroust	Backtracking in software process model.	ISPW	1986	DBLP BibTeX RDF
15	Cynthia A. Brown, Larry Finkelstein, Paul Walton Purdom Jr.	Intelligent Backtracking Using Symmetry.	FJCC	1986	DBLP BibTeX RDF