<--- Back to Details
First PageDocument Content
Sudoku / NP-complete problems / Sudoku algorithms / Mathematics of Sudoku / Mathematics / Recreational mathematics / Logic puzzles
Date: 2012-02-20 11:43:30
Sudoku
NP-complete problems
Sudoku algorithms
Mathematics of Sudoku
Mathematics
Recreational mathematics
Logic puzzles

Unifying Execution of Imperative and Declarative Code Aleksandar Milicevic

Add to Reading List

Source URL: people.csail.mit.edu

Download Document from Source Website

File Size: 1,56 MB

Share Document on Facebook

Similar Documents

Logic puzzles / NP-complete problems / Logic / Mathematics / Abstraction / Nonogram / Light Up / Algorithm / Sudoku solving algorithms / Nurikabe

Proceedings of the Eighth International Conference on Machine Learning and Cybernetics, Baoding, 12-15 JulySOLVING JAPANESE PUZZLES WITH LOGICAL RULES AND DEPTH FIRST SEARCH ALGORITHM MIN-QUAN JING, CHIUNG-HSUEH Y

DocID: 1pREL - View Document

Graph coloring / NP-complete problems / Recreational mathematics / Sudoku / Logic puzzles / Mathematics of Sudoku / Latin square / Chromatic polynomial / Sudoku Codes / Sudoku solving algorithms

Sudoku Squares and Chromatic Polynomials Agnes M. Herzberg and M. Ram Murty T

DocID: 1pziS - View Document

Genetic algorithms / Logic puzzles / Puzzle video games / Sudoku / Recreational mathematics / Genetic operator / Crossover / Puzzle / Chromosome / Mathematics of Sudoku / Sudoku solving algorithms

Solving Sudoku with Genetic Operations that Preserve Building Blocks Yuji Sato, Member, IEEE, and Hazuki Inoue averting the destruction of BB in an attempt to increase the accuracy of GA solutions of Sudoku puzzles. Sect

DocID: 1nRhR - View Document

Search 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.7 The Sage Development Team June 24, 2015

DocID: 1g5wY - View Document

Mathematical logic / Theoretical computer science / Verbal arithmetic / Drive letter assignment / Logic / Games / Mechanical puzzles / Puzzles / Sudoku algorithms / Logic puzzles / Mathematics / Algorithm

Fall 2014 BBM 103: Introduction to Programming Laboratory I PROGRAMMING ASSIGNMENT 4 Subject : Recursions Due Date :

DocID: 1aIUv - View Document