Backtracking - PDFSEARCH.IO - Document Search Engine

Backtracking
Results: 159

#	Item
61	PDF Document Add to Reading List Source URL: www.ifa.hawaii.edu Language: English - Date: 2006-03-22 19:04:24 Binary trees Search algorithms R-tree K-d tree Binary search tree Backtracking Algorithm Trie Tango tree Mathematics Computing Graph theory
62	Packrat Parsing: a Practical Linear-Time Algorithm with Backtracking by Bryan Ford Submitted to the Department of Electrical Engineering and Computer Science Add to Reading List Source URL: bford.info Language: English - Date: 2010-09-29 09:18:52 Software engineering Computing Compiler construction Parsing expression grammar Syntactic predicate Top-down parsing LL parser Recursive descent parser Bottom-up parsing Formal languages Programming language implementation Parsing
63	Relating Models of Backtracking Mitchell Wand Dale Vaillancourt College of Computer and Information Science Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2004-07-21 16:26:52 Functional programming Models of computation Logic in computer science Monad Denotational semantics Lambda calculus Fixed-point combinator Valuation Theoretical computer science Declarative programming Mathematics
64	Trying Again to Fail-First J. Christopher Beck , Patrick Prosser and Richard J. Wallace Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-01-18 12:07:28 Search algorithms Heuristic function Heuristic Artificial intelligence Constraint satisfaction problem Local consistency Backtracking Science Innovation Constraint programming Heuristics Operations research
65	A Tabling Implementation Based on Variables with Multiple Bindings Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2 {mcarro,herme}@fi.upm.es Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-05-02 05:38:03 Type theory Variables Prolog Backtracking MOS Technology SID Assignment Pointer Free variables and bound variables Stack Computing Software engineering Data types
66	µKanren: A Minimal Functional Core for Relational Programming Jason Hemann Daniel P. Friedman Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:12 Functional programming Search algorithms Monad Scheme ALGOL 68 Backtracking Software engineering Programming language theory Computer programming
67	Banshee: A Scalable Constraint-Based Analysis Toolkit? John Kodumal1 and Alex Aiken2 1 2 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-06-06 18:55:41 Computing Constraint satisfaction problem Backtracking Constraint graph Prolog Constraint Type system Constraint satisfaction Constraint logic programming Constraint programming Software engineering Computer programming
68	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 10 Self-stabilizing Distributed Constraint Satisfaction ISSN 1073–0486. MIT Press Journals, Five Cambridge Center, Cambridge, Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2000-02-21 01:31:44 Computing Local consistency Constraint satisfaction Self-stabilization Distributed computing Constraint graph Scheduling Backtracking Search algorithm Constraint programming Software engineering Computer programming
69	Overview SAT Solving and its Relationship to CSPs ‫ ڗ‬Tremendous gains have been achieved over the Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-02-02 18:24:48 Theoretical computer science Resolution Unit propagation Conjunctive normal form Literal Backtracking Inequality Davis–Putnam algorithm Automated theorem proving Mathematics Mathematical logic
70	Backtracking Algorithms Finding all the solutions Timothy Rolfe Add to Reading List Source URL: penguin.ewu.edu Language: English - Date: 2010-05-24 18:40:48 Recreational mathematics Enumerative combinatorics Abstract algebra Permutation Backtracking Eight queens puzzle Mathematics Combinatorics Permutations

UPDATE