Backtracking - PDFSEARCH.IO - Document Search Engine

Backtracking
Results: 159

#	Item
71	Backtracking, Interleaving, and Terminating Monad Transformers (Functional Pearl) Oleg Kiselyov Chung-chieh Shan Add to Reading List Source URL: okmij.org Language: English - Date: 2005-07-13 17:03:59 Computer programming Adjoint functors Pattern matching Monad Type theory Continuation Strong monad Type class Call-with-current-continuation Software engineering Declarative programming Functional programming
72	Optimal Queens A classical problem solved by backtracking TIMOTHY ROLFE P Add to Reading List Source URL: penguin.ewu.edu Language: English - Date: 2010-05-24 19:02:42 Arrays Search algorithms Enumerative combinatorics Recreational mathematics Eight queens puzzle Backtracking Circular buffer ALGOL 68 Lookup table Mathematics Computing Computer programming
73	Alma-0: An Imperative Language that Supports Declarative Programming KRZYSZTOF R. APT CWI and University of Amsterdam and JACOB BRUNEKREEF and VINCENT PARTINGTON Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:14 Programming paradigms Procedural programming languages Theoretical computer science Alma-0 Computability theory Logic programming Backtracking Assignment Imperative programming Software engineering Computing Computer programming
74	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: 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
75	Matching stochastic algorithms to objective function landscapes W.P. Baritompa∗ , M. D¨ ur‡ , E.M.T. Hendrixk , L. Noakes§ , W.J. Pullan¶ , G.R. Wood† November 26, 2003 ∗ Department Add to Reading List Source URL: stat.mq.edu.au Language: English - Date: 2009-07-18 23:01:13 Operations research Stochastic optimization Search algorithms Monte Carlo methods Global optimization Simulated annealing Algorithm Backtracking Genetic algorithm Mathematical optimization Mathematics Numerical analysis
76	Variable Ordering Heuristics Show Promise 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 Heuristic function Heuristic Mathematics Applied mathematics Backtracking Algorithm Artificial intelligence Heuristics Operations research Search algorithms
77	5 CONSTRAINT SATISFACTION PROBLEMS In which we see how treating states as more than just little black boxes leads to the Add to Reading List Source URL: aima.cs.berkeley.edu Language: English - Date: 2002-11-14 11:02:01 Artificial intelligence Constraint satisfaction problem Local consistency Constraint satisfaction Local search Search algorithm Backtracking Mathematical optimization Constraint logic programming Constraint programming Software engineering Computer programming
78	Large-scale active-set box-constrained optimization method with spectral projected gradients Ernesto G. Birgin ∗ Add to Reading List Source URL: www.ime.usp.br Language: English - Date: 2006-04-13 13:27:39 Mathematics Applied mathematics Wolfe conditions Penalty method Backtracking Line search Conjugate gradient method Algorithm Mathematical optimization Numerical analysis Operations research
79	PDF Document Add to Reading List Source URL: aima.cs.berkeley.edu Language: English - Date: 2002-12-13 18:42:43 Functions and mappings Operations research Neural networks Function Artificial neuron A* search algorithm Backtracking Mathematics Search algorithms Artificial intelligence

UPDATE