Search results for "backtracking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Maria Cristina Pinotti, Vincenzo A. Crupi, Sajal K. Das	A Parallel Solution to the Extended Set Union Problem with Unlimited Backtracking. (PDF / PS)	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
4	V. Nageshwara Rao, Vipin Kumar	On the Efficiency of Parallel Backtracking.	IEEE Trans. Parallel Distrib. Syst.	1993	DBLP DOI BibTeX RDF	parallel backtracking, backtrack search algorithms, simple backtracking, heuristicbacktracking, parallel algorithms, search problems, speedup
3	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
3	Sanjukta Bhowmick, Paul D. Hovland	Improving the Performance of Graph Coloring Algorithms through Backtracking.	ICCS	2008	DBLP DOI BibTeX RDF	Graph Coloring, Backtracking
3	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
3	David Eppstein	Quasiconvex analysis of multivariate recurrence equations for backtracking algorithms.	ACM Transactions on 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
3	Germán González-Morris	Further thoughts on backtracking and bounding.	SIGCSE Bulletin	2006	DBLP DOI BibTeX RDF	pruning search, permutations, backtracking, boundaries
3	Timothy J. Rolfe, Paul W. Purdom	An alternative problem for backtracking and bounding.	SIGCSE Bulletin	2004	DBLP DOI BibTeX RDF	permutation, backtracking, bounding function
3	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
3	Enrico Pontelli, Gopal Gupta	Backtracking in Independent And-Parallel Implementations of Logic Programming Languages.	IEEE Trans. Parallel Distrib. Syst.	2001	DBLP DOI BibTeX RDF	logic programming, Backtracking, and-parallelism
3	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
3	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
3	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
3	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
2	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
2	Yannis Marinakis, Athanasios Migdalas, Panos M. Pardalos	Multiple phase neighborhood Search - GRASP based on Lagrangean relaxation, random backtracking Lin-Kernighan and path relinking for the TSP.	J. Comb. Optim.	2009	DBLP DOI BibTeX RDF	ENS, Lagrangean relaxation and subgradient optimization, TSP, Metaheuristics, GRASP
2	Roie Zivan, Moshe Zazone, Amnon Meisels	Min-domain retroactive ordering for Asynchronous Backtracking.	Constraints	2009	DBLP DOI BibTeX RDF	Ordering heuristics, Search, Distributed constraints satisfaction
2	Marius-Calin Silaghi, Makoto Yokoo	ADOPT-ing: unifying asynchronous distributed optimization with asynchronous backtracking.	Autonomous Agents and Multi-Agent Systems	2009	DBLP DOI BibTeX RDF	Distributed CSPs, Semi-cooperative agents, ADOPT, Distributed problem solving, DCOPs
2	Josue Bracho-Rios, Jose Torres-Jimenez, Eduardo Rodriguez-Tello	A New Backtracking Algorithm for Constructing Binary Covering Arrays of Variable Strength.	MICAI	2009	DBLP DOI BibTeX RDF	Software testing, Branch and Bound, Covering Arrays
2	Iris Groher, Alexander Egyed	Selective backtracking of model changes.	ICSE Companion	2009	DBLP DOI BibTeX RDF
2	David Stynes, Kenneth N. Brown	Value ordering for quantified CSPs.	Constraints	2009	DBLP DOI BibTeX RDF	Value ordering, Quantified CSPs, Backtracking search
2	Thi Thu Van Nguyen, Jean-Jacques Strodiot, Van Hien Nguyen	The interior proximal extragradient method for solving equilibrium problems.	J. Global Optimization	2009	DBLP DOI BibTeX RDF	Interior proximal method, Logarithmic-quadratic proximal method, Extragradient method, Armijo-backtracking linesearch, Equilibrium problems
2	Georg Gottlob, Marko Samer	A backtracking-based algorithm for hypertree decomposition.	ACM Journal of Experimental Algorithmics	2008	DBLP DOI BibTeX RDF	hypertree decomposition, Constraint satisfaction
2	Stephan Schuhmann, Klaus Herrmann, Kurt Rothermel	Direct Backtracking: An Advanced Adaptation Algorithm for Pervasive Applications.	ARCS	2008	DBLP DOI BibTeX RDF
2	Byung-Hoon Park, Matthew C. Schmidt, Kevin Thomas, 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
2	Georgios Ch. Sirakoulis	Automatic Design of FPGA Processor for the Backtracking of DNA Sequences Evolution Using Cellular Automata and Genetic Algorithms.	ACRI	2008	DBLP DOI BibTeX RDF
2	Cuiling Zhu, Jun Ma, Dongmei Zhang, Xiaohui Han, Xiaofei Niu	Hierarchical Document Classification Based on a Backtracking Algorithm.	FSKD	2008	DBLP DOI BibTeX RDF
2	Tijs van der Storm	Backtracking Incremental Continuous Integration.	CSMR	2008	DBLP DOI BibTeX RDF
2	Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid	Efficient solving of structural constraints.	ISSTA	2008	DBLP DOI BibTeX RDF	model checking, backtracking, systematic testing
2	Timothy J. Rolfe	Perverse and foolish oft I strayed.	SIGCSE Bulletin	2008	DBLP DOI BibTeX RDF	permutation generation, distributed processing, branch and bound, backtracking, algorithm analysis
2	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
2	Michael Westergaard, Lars Michael Kristensen, Gerth Stølting Brodal, Lars Arge	The ComBack Method - Extending Hash Compaction with Backtracking.	ICATPN	2007	DBLP DOI BibTeX RDF
2	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
2	Shinya Hiramoto, Masaki Nakanishi, Shigeru Yamashita, Yasuhiko Nakashima	A Hardware SAT Solver Using Non-chronological Backtracking and Clause Recording Without Overheads.	ARC	2007	DBLP DOI BibTeX RDF
2	Huayue Wu, Peter van Beek	On Portfolios for Backtracking Search in the Presence of Deadlines.	ICTAI	2007	DBLP DOI BibTeX RDF
2	Roie Zivan, Moshe Zazone, Amnon Meisels	Min-Domain Ordering for Asynchronous Backtracking.	CP	2007	DBLP DOI BibTeX RDF
2	Huayue Wu, Peter van Beek	On Universal Restart Strategies for Backtracking Search.	CP	2007	DBLP DOI BibTeX RDF
2	Fahiem Bacchus	Caching in Backtracking Search.	CP	2007	DBLP DOI BibTeX RDF
2	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
2	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
2	Zhigang Gao, Zhaohui Wu	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
2	Roie Zivan, Amnon Meisels	Dynamic Ordering for Asynchronous Backtracking on DisCSPs.	Constraints	2006	DBLP DOI BibTeX RDF	Search, Distributed AI, Distributed Constraint satisfaction
2	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
2	Jun Yan, Jian Zhang 0001	Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing.	COMPSAC	2006	DBLP DOI BibTeX RDF
2	Jean-Christophe Filliâtre	Backtracking iterators.	ML	2006	DBLP DOI BibTeX RDF	iteration, backtracking, persistent data structures
2	Marius-Calin Silaghi	Framework for Modeling Reordering Heuristics for Asynchronous Backtracking.	IAT	2006	DBLP DOI BibTeX RDF
2	Ke Liu, Nael B. Abu-Ghazaleh	Virtual Coordinates with Backtracking for Void Traversal in Geographic Routing.	ADHOC-NOW	2006	DBLP DOI BibTeX RDF
2	Adrian D. Thurston, James R. Cordy	A backtracking LR algorithm for parsing ambiguous context-dependent languages.	CASCON	2006	DBLP DOI BibTeX RDF
2	Wenfeng Du, Weijia Jia, Wenyan Lu	Backtracking Based Handoff Rerouting Algorithm for WiMAX Mesh Mode.	UIC	2006	DBLP DOI BibTeX RDF
2	Roie Zivan, Uri Shapen, Moshe Zazone, Amnon Meisels	Retroactive Ordering for Dynamic Backtracking.	CP	2006	DBLP DOI BibTeX RDF
2	Bertrand Neveu, Gilles Chabert, Gilles Trombettoni	When Interval Analysis Helps Inter-block Backtracking.	CP	2006	DBLP DOI BibTeX RDF
2	Richard A. Frost, Rahmatullah Hafiz	A new top-down parsing algorithm to accommodate ambiguity and left recursion in polynomial time.	SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	left-recursion, top-down parsing, backtracking, memoization, parser combinators
2	Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva	Heuristic-Based Backtracking Relaxation for Propositional Satisfiability.	J. Autom. Reasoning	2005	DBLP DOI BibTeX RDF
2	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
2	Masato Kitakami, Manabu Sueishi	Fault-Tolerant Wormhole Switching with Backtracking Capability.	DFT	2005	DBLP DOI BibTeX RDF
2	Tadahiro Suda, Haruo Hosoya	Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment.	CIAA	2005	DBLP DOI BibTeX RDF
2	Michael Alekhnovich, Allan Borodin, Joshua Buresh-Oppenheim, Russell Impagliazzo, Avner Magen, Toniann Pitassi	Toward a Model for Backtracking and Dynamic Programming.	IEEE Conference on Computational Complexity	2005	DBLP DOI BibTeX RDF
2	Roie Zivan, Amnon Meisels	Dynamic Ordering for Asynchronous Backtracking on DisCSPs.	CP	2005	DBLP DOI BibTeX RDF
2	Igor B. Bourdonov	Backtracking Problem in the Traversal of an Unknown Directed Graph by a Finite Robot.	Programming and Computer Software	2004	DBLP DOI BibTeX RDF
2	Steven David Prestwich	Incomplete Dynamic Backtracking for Linear Pseudo-Boolean Problems.	Annals OR	2004	DBLP DOI BibTeX RDF	local search, integer programs, satisfiability
2	Olivier Lhomme	Amortized Random Backtracking.	Annals OR	2004	DBLP DOI BibTeX RDF	nonsystematic search, amortization
2	Manabu Sueishi, Masato Kitakami, Hideo Ito	Fault-Tolerant Message Switching Based on Wormhole Switching and Backtracking.	PRDC	2004	DBLP DOI BibTeX RDF
2	David Eppstein	Quasiconvex analysis of backtracking algorithms.	SODA	2004	DBLP DOI BibTeX RDF
2	Adrijan Bozinovski, Stevo Bozinovski	N-queens pattern generation: an insight into space complexity of a backtracking algorithm.	ISICT	2004	DBLP DOI BibTeX RDF
2	Anuj Dawar, Erich Grädel, Stephan Kreutzer	Backtracking Games and Inflationary Fixed Points.	ICALP	2004	DBLP DOI BibTeX RDF
2	Sameh Al-Shihabi	Backtracking Ant System for the Traveling Salesman Problem.	ANTS Workshop	2004	DBLP DOI BibTeX RDF
2	Mitchell Wand, Dale Vaillancourt	Relating models of backtracking.	ICFP	2004	DBLP DOI BibTeX RDF	two-continuation semantics, streams, monads, logical relations, adequacy
2	Stephen M. Majercik	Nonchronological Backtracking in Stochastic Boolean Satisfiability.	ICTAI	2004	DBLP DOI BibTeX RDF
2	Eric J. Mulvaney, Scott D. Goodwin	Constraint Directed Dynamic Backtracking.	Canadian Conference on AI	2004	DBLP DOI BibTeX RDF
2	Roie Zivan, Amnon Meisels	Concurrent Dynamic Backtracking for Distributed CSPs.	CP	2004	DBLP DOI BibTeX RDF
2	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
2	Jürgen Schmidhuber	Optimal Ordered Problem Solver.	Machine Learning	2004	DBLP DOI BibTeX RDF	OOPS, bias-optimality, incremental optimal universal search, efficient planning and backtracking in program space, metasearching and metalearning, self-improvement
2	Ateet Bhalla, Inês Lynce, José T. de Sousa, João P. Marques Silva	Heuristic-Based Backtracking for Propositional Satisfiability.	EPIA	2003	DBLP DOI BibTeX RDF
2	Bertrand Neveu, Christophe Jermann, Gilles Trombettoni	Inter-block Backtracking: Exploiting the Structure in Continuous CSPs.	COCOS	2003	DBLP DOI BibTeX RDF
2	Wanlin Pang, Scott D. Goodwin	A Graph Based Backtracking Algorithm for Solving General CSPs.	Canadian Conference on AI	2003	DBLP DOI BibTeX RDF
2	Ateet Bhalla, Inês Lynce, José T. de Sousa, João P. Marques Silva	Heuristic Backtracking Algorithms for SAT.	MTV	2003	DBLP DOI BibTeX RDF
2	Carlos Cotta	Protein Structure Prediction Using Evolutionary Algorithms Hybridized with Backtracking.	IWANN	2003	DBLP DOI BibTeX RDF
2	Cyril Terrioux, Philippe Jégou	Bounded Backtracking for the Valued Constraint Satisfaction Problems.	CP	2003	DBLP DOI BibTeX RDF
2	Jlifi Boutheina, Khaled Ghédira	On the Enhancement of the Informed Backtracking Algorithm.	CP	2003	DBLP DOI BibTeX RDF
2	H. M. W. (Eric) 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
2	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
2	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
2	Sharon Barner, Daniel Geist, Anna Gringauze	Symbolic Localization Reduction with Reconstruction Layering and Backtracking.	CAV	2002	DBLP DOI BibTeX RDF
2	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
2	Ray-Shang Lo, Gen-Huey Chen	Embedding Hamiltonian Paths in Faulty Arrangement Graphs with the Backtracking Method.	IEEE Trans. Parallel Distrib. Syst.	2001	DBLP DOI BibTeX RDF	Hamiltonian cycle, star graph, Hamiltonian path, graph-theoretic interconnection network, fault-tolerant embedding, Arrangement graph
2	Youssef Hamadi	Interleaved Backtracking in Distributed Constraint Networks. (PDF / PS)	ICTAI	2001	DBLP DOI BibTeX RDF	Collaborative Software Agents, Search, Distributed AI, Distributed Constraint Satisfaction
2	Christian Bessière, Arnold Maestre, Pedro Meseguer	Distributed Dynamic Backtracking.	CP	2001	DBLP DOI BibTeX RDF
2	Santosh G. Abraham, Waleed Meleis, Ivan D. Baev	Efficient Backtracking Instruction Schedulers.	IEEE PACT	2000	DBLP DOI BibTeX RDF
2	Robert E. Noonan	An object-oriented view of backtracking.	SIGCSE	2000	DBLP DOI BibTeX RDF
2	Narendra Jussien, Romuald Debruyne, Patrice Boizumault	Maintaining Arc-Consistency within Dynamic Backtracking.	CP	2000	DBLP DOI BibTeX RDF
2	Mario H. Konijnenburg, Hans van der Linden, A. J. van de Goor	Fault (In)Dependent Cost Estimates and Conflict-Directed Backtracking to Guide Sequential Circuit Test Generation.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	sequential circuit TPG, back-jumping, conflict-directed backtrack, three-state (tri-state) circuit TPG, ATPG, cost estimates
2	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
2	Enrico Pontelli, Gopal Gupta	Efficient Backtracking in And-Parallel Implementations of Non-deterministic Languages. (PDF / PS)	ICPP	1998	DBLP DOI BibTeX RDF
2	Tiziana Margaria, Bernhard Steffen	Backtracking-Free Design Planning by Automatic Synthesis in METAFrame.	FASE	1998	DBLP DOI BibTeX RDF
2	Uta Ziegler	Extending an iterator model for binary trees to backtracking problems.	SIGCSE	1998	DBLP DOI BibTeX RDF
2	Wanlin Pang, Scott D. Goodwin	Constraint-Directed Backtracking.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF
2	Yueh-O Wang, Nancy M. Amato, Donald K. Friesen	Hindsight Helps: Deterministic Task Scheduling with Backtracking. (PDF / PS)	ICPP	1997	DBLP DOI BibTeX RDF	Models, Algorithms, Deterministic, Parallel Task Scheduling
2	Stefan Radtke, Jens Bargfrede, Walter Anheier	Distributed automatic test pattern generation with a parallel FAN algorithm. (PDF / PS)	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
2	Andy Schürr, Andreas J. Winter, Albert Zündorf	Visual Programming with Graph Rewriting Systems. (PDF / PS)	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
2	Pascal Van Hentenryck, Viswanath Ramachandran	Backtracking without Trailing in CLP(RLin).	PLDI	1994	DBLP DOI BibTeX RDF