Backtracking - PDFSEARCH.IO - Document Search Engine

Backtracking
Results: 159

#	Item
131	A SAT-based Sudoku Solver? Tjark Weber Institut f¨ ur Informatik, Technische Universit¨ at M¨ unchen Add to Reading List Source URL: www.lri.fr Language: English - Date: 2013-02-08 07:29:22 Recreational mathematics Theoretical computer science NP-complete problems Sudoku Backtracking Propositional calculus Sudoku algorithms Mathematics Logic puzzles Logic
132	Grouping Language Model Boundary Words to Speed K–Best Extraction from Hypergraphs Kenneth Heafield∗,† Philipp Koehn∗ Alon Lavie† ∗ Add to Reading List Source URL: kheafield.com Language: English - Date: 2013-03-29 11:47:30 Applied mathematics Operations research Game artificial intelligence Beam search Pruning Moses Algorithm A* search algorithm Backtracking Search algorithms Mathematics Artificial intelligence
133	Constraint Propagation and Backtracking-based Search Add to Reading List Source URL: ktiml.mff.cuni.cz Language: English - Date: 2005-09-20 11:29:18 Artificial intelligence Constraint satisfaction Local consistency Constraint logic programming Local search Backjumping Look-ahead Backtracking Search algorithm Constraint programming Software engineering Computer programming
134	A Logspace Algorithm for Tree Canonization (Extended Abstract) Steven Lindell † Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:08 Computing L Tree B-tree R-tree Rope Backtracking T-tree Binary search tree Binary trees Graph theory Mathematics
135	IF/Prolog V5.3 Constraints Package Add to Reading List Source URL: www.ifcomputer.de Language: English - Date: 2007-12-17 04:37:32 Prolog Programming paradigms Constraint programming Logic programming Backtracking Predicate B-Prolog Prolog syntax and semantics Software engineering Computer programming Computing
136	Constraint Programming: In Pursuit of the Holy Grail Roman Barták Charles University, Faculty of Mathematics and Physics, Department of Theoretical Add to Reading List Source URL: ktiml.mff.cuni.cz Language: English - Date: 1999-12-06 11:36:48 Artificial intelligence Constraint satisfaction problem Local consistency Constraint satisfaction AC-3 algorithm Constraint logic programming Backjumping Backtracking Constraint graph Constraint programming Software engineering Computer programming
137	Microsoft PowerPoint - CP school 2005 Pro tisk Add to Reading List Source URL: ktiml.mff.cuni.cz Language: English - Date: 2005-09-20 00:13:36 Artificial intelligence Local consistency Constraint satisfaction problem Backjumping Constraint satisfaction Constraint optimization Look-ahead Backmarking Backtracking Constraint programming Software engineering Computer programming
138	A Note on Platt’s Probabilistic Outputs for Support Vector Machines Hsuan-Tien Lin ([removed]) Add to Reading List Source URL: stocktrendresearch.googlecode.com Language: English - Date: 2011-02-27 10:31:55 Mathematical optimization Mathematics Mathematical analysis Operations research Backtracking Pattern matching
139	Minimizing Con icts: A Heuristic Repair Method for Constraint-Satisfaction and Scheduling Problems Add to Reading List Source URL: pdf.aminer.org Language: English - Date: 2011-10-18 13:09:26 Combinatorics Constraint satisfaction problem Constraint satisfaction Constraint optimization Eight queens puzzle Backtracking Mathematical optimization Search algorithm Heuristic function Mathematics Constraint programming Operations research
140	Minesweeper as a Constraint Satisfaction Problem by Chris Studholme Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2003-02-20 13:12:00 Windows games Computational complexity theory NP-complete problems Applied mathematics Operations research Minesweeper Constraint satisfaction Backtracking Travelling salesman problem Constraint programming Theoretical computer science Puzzle video games

UPDATE