The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Backtracking with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1967-1977 (16) 1978-1982 (20) 1983-1985 (23) 1986 (22) 1987 (18) 1988 (26) 1989 (27) 1990 (27) 1991 (23) 1992 (17) 1993 (26) 1994 (23) 1995 (19) 1996 (23) 1997 (26) 1998 (21) 1999 (29) 2000 (35) 2001 (51) 2002 (46) 2003 (60) 2004 (71) 2005 (81) 2006 (73) 2007 (63) 2008 (80) 2009 (45) 2010 (26) 2011 (22) 2012 (26) 2013 (24) 2014 (32) 2015 (37) 2016 (35) 2017 (38) 2018 (45) 2019 (56) 2020 (40) 2021 (46) 2022 (46) 2023 (48) 2024 (10)
Publication types (Num. hits)
article(597) incollection(15) inproceedings(895) phdthesis(15)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 833 occurrences of 582 keywords

Results
Found 1522 publication records. Showing 1522 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
92V. Nageshwara Rao, Vipin Kumar 0001 On the Efficiency of Parallel Backtracking. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF parallel backtracking, backtrack search algorithms, simple backtracking, heuristicbacktracking, parallel algorithms, search problems, speedup
92Santosh G. Abraham, Waleed Meleis, Ivan D. Baev Efficient Backtracking Instruction Schedulers. Search on Bibsonomy IEEE PACT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
92Pascal Van Hentenryck, Viswanath Ramachandran Backtracking without Trailing in CLP(RLin). (long version: TOPLAS 17(4): 349-360 (1995)) Search on Bibsonomy PLDI The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
75Michal Kouril, Jerome L. Paul A parallel backtracking framework (BkFr) for single and multiple clusters. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF inter-cluster communication, intra-cluster communication, MPI, SAT, backtracking, ICI
75Enrico Pontelli, Gopal Gupta 0001 Backtracking in Independent And-Parallel Implementations of Logic Programming Languages. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF logic programming, Backtracking, and-parallelism
66Sanjukta Bhowmick, Paul D. Hovland Improving the Performance of Graph Coloring Algorithms through Backtracking. Search on Bibsonomy ICCS (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Graph Coloring, Backtracking
66Anuj Dawar, Erich Grädel, Stephan Kreutzer Backtracking Games and Inflationary Fixed Points. Search on Bibsonomy ICALP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
66Vipin Kumar 0001, Yow-Jian Lin A Framework for Intelligent Backtracking in Logic Programs. Search on Bibsonomy FSTTCS The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
66Gary Lindstrom Backtracking in a Generalized Control Setting. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
58Maria Cristina Pinotti, Vincenzo A. Crupi, Sajal K. Das 0001 A Parallel Solution to the Extended Set Union Problem with Unlimited Backtracking. Search on Bibsonomy IPPS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF parallel solution, extended set union problem, unlimited backtracking, Find, SetUnion, MultiUnion, k-Parallel Union Find trees, constant parallel time, optimal work, constant-time performance, parallel algorithms, computational complexity, data structure, parallel machines, Restore, backtracking, Backtrack, tree data structures, tree searching, random-access storage, dynamic partition, Union, EREW-PRAM model
58Ralf Hinze Deriving backtracking monad transformers. Search on Bibsonomy ICFP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Prolog, Prolog, Haskell, Haskell, continuations, monads, backtracking, cut, program derivation, PEARL, monad transformers
57Iris Groher, Alexander Egyed Selective backtracking of model changes. Search on Bibsonomy ICSE Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
57Eric J. Mulvaney, Scott D. Goodwin Constraint Directed Dynamic Backtracking. Search on Bibsonomy Canadian AI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
51Ionel Muscalagiu The Effect of Flag Introduction on the Explosion of Nogood Values in the Case of ABT Family Techniques. Search on Bibsonomy CEEMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
49William S. Havens Extending Dynamic Backtracking for Distributed Constraint Satisfaction Problems. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 1997 DBLP  DOI  BibTeX  RDF intelligent backtracking, multiagent systems, distributed constraint satisfaction, cooperative problem solving
49Stephan Schuhmann, Klaus Herrmann 0001, Kurt Rothermel Direct Backtracking: An Advanced Adaptation Algorithm for Pervasive Applications. Search on Bibsonomy ARCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
49Marius-Calin Silaghi Framework for Modeling Reordering Heuristics for Asynchronous Backtracking. Search on Bibsonomy IAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
49Luís Moniz Pereira, António Porto Selective Backtracking for Logic Programs. Search on Bibsonomy CADE The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
43Jorge Pais, Carlos A. Pinto-Ferreira The n-dimensional projective approach as a tool for spatial reasoning. Search on Bibsonomy ICTAI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF n-dimensional projective approach, hierarchical modular architecture, spatial backtracking, multiple physical properties, Euclidean space, agent cognitive activities, alternative solutions, performance, reliability, reliability, software agents, flexibility, software performance evaluation, spatial reasoning, spatial reasoning, error recovery, backtracking, cognitive systems
43João P. Marques Silva, Karem A. Sakallah GRASP - a new search algorithm for satisfiability. Search on Bibsonomy ICCAD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Non-chronological Backtracking, Automatic Test Pattern Generation, Backtracking, Search Algorithms, Propositional Satisfiability, Electronic Design Automation
43Arnaud Fietzke, Christoph Weidenbach Labelled Splitting. Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
43Li (Erran) Li, Milind M. Buddhikot, Chandra Chekuri, Katherine Guo Routing bandwidth guaranteed paths with local restoration in label switched networks. Search on Bibsonomy IEEE J. Sel. Areas Commun. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Joey Hwang, David G. Mitchell 2-Way vs. d-Way Branching for CSP. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Li Li 0002, Milind M. Buddhikot, Chandra Chekuri, Katherine Guo Routing Bandwidth Guaranteed Paths with Local Restoration in Label Switched Networks. Search on Bibsonomy ICNP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
43Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar 0001 A Constraint Directed Model for Partial Constraint Satisfaction Problems. Search on Bibsonomy AI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
41Tasuku Hiraishi, Masahiro Yasugi, Seiji Umatani, Taiichi Yuasa Backtracking-based load balancing. Search on Bibsonomy PPoPP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF load balancing, parallel computing, backtracking, backtrack search
41Widyawan, Martin Klepal, Stéphane Beauregard A novel backtracking particle filter for pattern matching indoor localization. Search on Bibsonomy MELT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF backtracking particle filter, indoor localization
41David Eppstein Quasiconvex analysis of multivariate recurrence equations for backtracking algorithms. Search on Bibsonomy ACM Trans. Algorithms The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Automated analysis of algorithms, Davis-Putnam procedures, method of feasible directions, multivariate recurrences, quasiconvex programming, backtracking, worst-case analysis
41Germán González-Morris Further thoughts on backtracking and bounding. Search on Bibsonomy ACM SIGCSE Bull. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF pruning search, permutations, backtracking, boundaries
41Timothy J. Rolfe, Paul W. Purdom An alternative problem for backtracking and bounding. Search on Bibsonomy ACM SIGCSE Bull. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF permutation, backtracking, bounding function
40Byung-Hoon Park, Matthew C. Schmidt, Kevin Thomas 0002, Tatiana V. Karpinets, Nagiza F. Samatova Parallel, scalable, memory-efficient backtracking for combinatoria modeling of large-scale biological systems. Search on Bibsonomy IPDPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Tom Vander Aa, Bingfeng Mei, Bjorn De Sutter A backtracking instruction scheduler using predicate-based code hoisting to fill delay slots. Search on Bibsonomy CASES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF VLIW scheduling, code hoisting, predication
40Huayue Wu, Peter van Beek On Portfolios for Backtracking Search in the Presence of Deadlines. Search on Bibsonomy ICTAI (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Huayue Wu, Peter van Beek On Universal Restart Strategies for Backtracking Search. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Roie Zivan, Amnon Meisels Dynamic Ordering for Asynchronous Backtracking on DisCSPs. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Search, Distributed AI, Distributed Constraint satisfaction
40Jun Yan 0009, Jian Zhang 0001 Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing. Search on Bibsonomy COMPSAC (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Clayton Matthew Johnson, Anitha Katikireddy A genetic algorithm with backtracking for protein structure prediction. Search on Bibsonomy GECCO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF genetic algorithms, protein structure prediction, HP model
40Wenfeng Du, Weijia Jia 0001, Wenyan Lu Backtracking Based Handoff Rerouting Algorithm for WiMAX Mesh Mode. Search on Bibsonomy UIC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Tadahiro Suda, Haruo Hosoya Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment. Search on Bibsonomy CIAA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Roie Zivan, Amnon Meisels Dynamic Ordering for Asynchronous Backtracking on DisCSPs. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Igor B. Bourdonov Backtracking Problem in the Traversal of an Unknown Directed Graph by a Finite Robot. Search on Bibsonomy Program. Comput. Softw. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Haixia Jia, Cristopher Moore How Much Backtracking Does It Take to Color Random Graphs? Rigorous Results on Heavy Tails. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Wanlin Pang, Scott D. Goodwin Constraint-Directed Backtracking. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
40Ewald Speckenmeyer Classes of CNF-Formulas with Backtracking Trees of Exponential or Linear Average Order for Exact-Satisfiability. Search on Bibsonomy MFCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
35Jiro Naganuma, Takeshi Ogura, Shin-Ichiro Yamada, Takashi Kimura High-Speed CAM-Based Architecture for a Prolog Machine (ASCA). Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1988 DBLP  DOI  BibTeX  RDF high-speed Prolog machine, Prolog execution performance, CAM-based backtracking scheme, CAM-based backtracking, garbage collection function, inference depth, 100 KLIPS, deterministic append program, performance evaluation, logic programming, Prolog, storage management, content addressable memory, content-addressable storage, semantic information
35Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid Efficient solving of structural constraints. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model checking, backtracking, systematic testing
35H. M. W. Verbeek, Twan Basten Deciding Life-Cycle Inheritance on Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF life-cycle inheritance, branching bisimilarity, T-invariants, Petri nets, workflow, Object-orientation, backtracking, structural properties
35Bill Stoddart, Frank Zeyda Expression Transformers in B-GSL. Search on Bibsonomy ZB The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Expression transformers, term transformers, combining functional and imperative programming, backtracking, reversible computation, B, predicate transformers
35Bryan Ford Packrat parsing: : simple, powerful, lazy, linear time, functional pearl. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF scannerless parsing, top-down parsing, Haskell, backtracking, memoization, lexical analysis, parser combinators
34Roie Zivan, Amnon Meisels Asymmetric Distributed Constraints Satisfaction Problems. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Steven D. Prestwich Combining the Scalability of Local Search with the Pruning Techniques of Systematic Search. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF hybrid search, n-queens, maximum cliques, Golomb rulers
34Lili Qiu, George Varghese, Subhash Suri Fast firewall implementations for software-based and hardware-based routers. Search on Bibsonomy SIGMETRICS/Performance The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
34Si-En Chang, Mark L. Manwaring, Y. Paul Chiang Extended restricted AND-parallelism execution model. Search on Bibsonomy SPDP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
34John L. Gustafson Reevaluating Amdahl's Law. Search on Bibsonomy Commun. ACM The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
32Shanika Karunasekera, John Beaton, Adrian Dimech, Alex Skvortsov, Ajith Gunatilaka A Distributed eResearch Tool for Evaluating Source Backtracking Algorithms. Search on Bibsonomy eScience The full citation details ... 2010 DBLP  DOI  BibTeX  RDF CBRN, Source Backtracking, Simulation Tools
32Jean-Christophe Filliâtre Backtracking iterators. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF iteration, backtracking, persistent data structures
32Jan A. Bergstra, Alban Ponse, Jos van Wamel Process Algebra with Backtracking. Search on Bibsonomy REX School/Symposium The full citation details ... 1993 DBLP  DOI  BibTeX  RDF backtracking, guarded commands, & Phrases process algebra
32Michel Billaud Axiomatizations of Backtracking. Search on Bibsonomy STACS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF foundations of logic programming, equivalence of program schemes, Prolog, backtracking, depth-first search, algebraic semantics, semantics of programming languages
32Hyoung B. Min, William A. Rogers Search strategy switching: A cost model and an analysis of backtracking. Search on Bibsonomy J. Electron. Test. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF search strategy switching, ATPG, fault coverage, backtracking
32Virendra K. Janakiram, Dharma P. Agrawal, Ravi Mehrotra A Randomized Parallel Backtracking Algorithm. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1988 DBLP  DOI  BibTeX  RDF parallel backtracking, fault tolerance, parallel algorithms, randomization, flexibility, search problems, speedups, interprocessor communication, high reliability
32Roie Zivan, Moshe Zazone, Amnon Meisels Min-domain retroactive ordering for Asynchronous Backtracking. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Ordering heuristics, Search, Distributed constraints satisfaction
32Cuiling Zhu, Jun Ma 0001, Dongmei Zhang 0002, Xiaohui Han, Xiaofei Niu Hierarchical Document Classification Based on a Backtracking Algorithm. Search on Bibsonomy FSKD (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Roie Zivan, Moshe Zazone, Amnon Meisels Min-Domain Ordering for Asynchronous Backtracking. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Fahiem Bacchus Caching in Backtracking Search. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Roie Zivan, Uri Shapen, Moshe Zazone, Amnon Meisels Retroactive Ordering for Dynamic Backtracking. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Adrian D. Thurston, James R. Cordy A backtracking LR algorithm for parsing ambiguous context-dependent languages. Search on Bibsonomy CASCON The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva 0001 Heuristic-Based Backtracking Relaxation for Propositional Satisfiability. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry Backtracking, interleaving, and terminating monad transformers: (functional pearl). Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF control delimiters, logic programming, Prolog, streams, Haskell, continuations
32Masato Kitakami, Manabu Sueishi Fault-Tolerant Wormhole Switching with Backtracking Capability. Search on Bibsonomy DFT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Steven D. Prestwich Incomplete Dynamic Backtracking for Linear Pseudo-Boolean Problems. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF local search, integer programs, satisfiability
32Adrijan Bozinovski, Stevo Bozinovski N-queens pattern generation: an insight into space complexity of a backtracking algorithm. Search on Bibsonomy ISICT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Sameh Al-Shihabi Backtracking Ant System for the Traveling Salesman Problem. Search on Bibsonomy ANTS Workshop The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Roie Zivan, Amnon Meisels Concurrent Dynamic Backtracking for Distributed CSPs. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Gregory Matthews, Robert Hood, Stephen Johnson, P. F. Leggett Backtracking and Re-Execution in the Automatic Debugging of Parallelized Programs. Search on Bibsonomy HPDC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
32Robert E. Noonan An object-oriented view of backtracking. Search on Bibsonomy SIGCSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
32Narendra Jussien, Romuald Debruyne, Patrice Boizumault Maintaining Arc-Consistency within Dynamic Backtracking. Search on Bibsonomy CP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
32Uta Ziegler Extending an iterator model for binary trees to backtracking problems. Search on Bibsonomy SIGCSE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
32Werner Hans, Rita Loogen, Stephan Winkler On the Interaction of Lazy Evaluation and Backtracking. Search on Bibsonomy PLILP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
32Wolfgang Keller Automated generation of code using backtracking parsers for attribute grammars. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
32Bernd Schwinn, Gerhard Barth, Christoph Welsch RAPiD A Data Flow Model for Implementing Parallelism and Intelligent Backtracking in Logic Programs. Search on Bibsonomy PARLE (2) The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
32Ewald Speckenmeyer On the Average Case Complexity of Backtracking for the Exact-Satisfiability Problem. Search on Bibsonomy CSL The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
32Willem P. de Roever On Backtracking and Greatest Fixpoints. Search on Bibsonomy ICALP The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
32Douglas C. Schmidt, Larry E. Druffel A Fast Backtracking Algorithm to Test Directed Graphs for Isomorphism Using Distance Matrices. Search on Bibsonomy J. ACM The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
30Gisle Ytrestøl Optimistic Backtracking - A Backtracking Overlay for Deterministic Incremental Parsing. Search on Bibsonomy ACL (Student Session) The full citation details ... 2011 DBLP  BibTeX  RDF
30Ilyas Cicekli Shallow Backtracking Points in an Intelligent Backtracking Schema. Search on Bibsonomy ICLP The full citation details ... 1995 DBLP  BibTeX  RDF
30Colin J. H. McDiarmid, Gregory M. Provan An Expected-Cost Analysis of Backtracking and Non-Backtracking Algorithms. Search on Bibsonomy IJCAI The full citation details ... 1991 DBLP  BibTeX  RDF
30Bernd Schwinn Parallelität und intelligentes Backtracking in logischen Programmen / Parallelism and Intelligent Backtracking in Logic Programs. Search on Bibsonomy it Inf. Technol. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
30David Canfield Smith, Horace J. Enea Backtracking in MLISP2: an efficient backtracking method for LISP. Search on Bibsonomy IJCAI The full citation details ... 1973 DBLP  BibTeX  RDF
26Thi Thu Van Nguyen, Jean-Jacques Strodiot, Van Hien Nguyen The interior proximal extragradient method for solving equilibrium problems. Search on Bibsonomy J. Glob. Optim. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Interior proximal method, Logarithmic-quadratic proximal method, Extragradient method, Armijo-backtracking linesearch, Equilibrium problems
26David Stynes, Kenneth N. Brown Value ordering for quantified CSPs. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Value ordering, Quantified CSPs, Backtracking search
26Timothy J. Rolfe Perverse and foolish oft I strayed. Search on Bibsonomy ACM SIGCSE Bull. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF permutation generation, distributed processing, branch and bound, backtracking, algorithm analysis
26Doina Logofatu, Rolf Drechsler Comparative Study by Solving the Test Compaction Problem. Search on Bibsonomy ISMVL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Backtracking, Multi-Valued Logic, Test Compaction, Set Cover Problem, Greedy, Don't Cares
26Andreas Simon, Christian Stern Active guideline: spatiotemporal history as a motion technique and navigation aid for virtual environments. Search on Bibsonomy VRST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF navigation, virtual environments, backtracking
26Zhigang Gao, Zhaohui Wu 0001 Component Assignment for Large Distributed Embedded Software Development. Search on Bibsonomy GPC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF component assignment, backtracking algorithm, Ubiquitous computing, embedded software, model-based development
26Andrzej Filinski, Kristian Støvring Inductive reasoning about effectful data types. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF abstract effects, streams, monads, backtracking, logical relations, recursive types, equational reasoning
26Richard A. Frost, Rahmatullah Hafiz A new top-down parsing algorithm to accommodate ambiguity and left recursion in polynomial time. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF left-recursion, top-down parsing, backtracking, memoization, parser combinators
26Jürgen Schmidhuber Optimal Ordered Problem Solver. Search on Bibsonomy Mach. Learn. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF OOPS, bias-optimality, incremental optimal universal search, efficient planning and backtracking in program space, metasearching and metalearning, self-improvement
26Zhide Zeng, Jihua Chen, Hefeng Cao Research and Implementation of a High Speed Test Generation for Ultra Large Scale Combinational Circuits. Search on Bibsonomy Asian Test Symposium The full citation details ... 1999 DBLP  DOI  BibTeX  RDF finite backtracking test pattern generation, n to 1 tightly coupled integration mode, parallel-pattern, single-fault propagation, ultra large scale combinational circuit (ULSCC
26Stefan Radtke, Jens Bargfrede, Walter Anheier Distributed automatic test pattern generation with a parallel FAN algorithm. Search on Bibsonomy ICCD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF distributed automatic test pattern generation, parallel FAN algorithm, backtracking mechanism, heterogeneous cluster of workstations, test vector compaction, genetic algorithms, genetic algorithm, parallel algorithms, computational complexity, logic testing, digital circuits, digital circuits, NP hard problem, sequential algorithms
26Andy Schürr, Andreas J. Winter 0001, Albert Zündorf Visual Programming with Graph Rewriting Systems. Search on Bibsonomy VL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF multiparadigm language, PROGRES, rule-oriented visual language, well-defined type, visual database programming language, replacing facilities, language-specific tools, user interfaces, specification, logic programming, debugging, software tools, C, programming environments, pattern matching, specification languages, rapid prototyping, browsing, visual programming, visual programming, visual languages, abstract data types, graph grammars, backtracking, Modula-2, rewriting systems, editing, software engineering environments, logic programming languages, graph rewriting systems, Tcl/Tk
Displaying result #1 - #100 of 1522 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license