Backtracking

Results: 159



#Item
91Functional languages / Lisp programming language / Reasoning / Prolog / Artificial intelligence / Logic programming / Common Lisp / Backtracking / Backward chaining / Software engineering / Computing / Computer programming

Artificial Intelligence through Prolog by Neil C. Rowe

Add to Reading List

Source URL: cdn.preterhuman.net

Language: English - Date: 2012-10-01 15:31:57
92Recreational mathematics / Cybernetics / Search algorithms / Sudoku algorithms / Genetic algorithm / Evolutionary algorithm / Backtracking / Constraint satisfaction / Mathematical puzzle / Mathematics / Logic puzzles / Sudoku

New Developments in Artificial Intelligence and the Semantic Web

Add to Reading List

Source URL: www.stes.fi

Language: English - Date: 2006-10-23 12:14:00
93Computational complexity theory / Combinatorial optimization / NP-complete problems / Cryptography / Dynamic programming / Knapsack problem / Branch and bound / Optimization problem / Backtracking / Operations research / Theoretical computer science / Applied mathematics

Yet Harder Knapsack ProblemsI Stasys Jukna∗,1 Georg Schnitger University of Frankfurt, Institut of Computer Science, DFrankfurt, Germany. Abstract

Add to Reading List

Source URL: lovelace.thi.informatik.uni-frankfurt.de

Language: English - Date: 2011-10-21 09:58:40
94Applied mathematics / Search algorithms / Convex optimization / Genetic algorithm / Constraint optimization / Constraint satisfaction / Linear programming / Optimization problem / Backtracking / Mathematical optimization / Operations research / Mathematics

Metaheuristic Optimization with Evolver, Genocop and OptQuest MANUEL LAGUNA Graduate School of Business Administration University of Colorado, Boulder, CO[removed]removed]

Add to Reading List

Source URL: aiinfinance.com

Language: English - Date: 2012-06-26 15:09:38
95EMC EA/EB / Causality / Everything2 / Probability / Backtracking / Rail transport / Land transport / Rolling stock

Toby Friend Notes on Chapter 6: Backtracking Influence 2 aims of the chapter: 1. Demonstrate how the principles governing terminance demonstrate causal directedness. (Backtracking prob-influence is redundant.) 2. Isolat

Add to Reading List

Source URL: www.metaphysics-of-entanglement.ox.ac.uk

Language: English - Date: 2015-02-16 15:12:13
96Theoretical computer science / Applied mathematics / Mathematics / Backjumping / Backtracking / MPS / Operations research / Search algorithms / Constraint programming

Between Restarts and Backjumps Antonio Ramos, Peter van der Tak, and Marijn Heule⋆ Department of Software Technology, Delft University of Technology, The Netherlands Abstract. This paper introduces a novel technique th

Add to Reading List

Source URL: www.st.ewi.tudelft.nl

Language: English - Date: 2011-04-19 04:34:22
97Search algorithms / Applied mathematics / Recreational mathematics / Puzzle video games / Dancing Links / Backtracking / Exact cover / Puzzle / Sudoku algorithms / Mathematics / Sudoku / NP-complete problems

Sage Reference Manual: Games Release 6.6.beta0 The Sage Development Team February 21, 2015

Add to Reading List

Source URL: sagemath.org

Language: English - Date: 2015-02-21 07:35:21
98Logic / Automated theorem proving / Mathematical logic / Resolution / FO / Cover / Backtracking / Mathematics / Theoretical computer science / Search algorithms

Incremental Data-Driven Refinement of Knowledge

Add to Reading List

Source URL: aaai.org

Language: English - Date: 2006-01-11 05:53:22
99Artificial intelligence / Constraint satisfaction / Search algorithm / Hybrid algorithm / Algorithm / Backjumping / Parallel computing / Backtracking / Distributed algorithm / Constraint programming / Computer programming / Software engineering

Comparison of Different Approaches for Solving Distributed Constraint Satisfaction Problems

Add to Reading List

Source URL: www.aaai.org

Language: English - Date: 2006-01-11 04:22:21
100Computing / Programming paradigms / Operations research / Logic programming / Prolog / Mathematical optimization / Backtracking / Constraint logic programming / Constraint satisfaction / Constraint programming / Software engineering / Computer programming

From: AAAI-83 Proceedings. Copyright ©1983, AAAI (www.aaai.org). All rights reserved. INTELLIGENT CONTROL USING INTEGRITY CONSTRAINTS Jack Minker

Add to Reading List

Source URL: www.aaai.org

Language: English - Date: 2006-01-09 18:28:48
UPDATE