Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|