Search results for "Backtracking"

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