NP-complete - PDFSEARCH.IO - Document Search Engine

NP-complete
Results: 1728

#	Item
861	POCKET SUDOKU TO GO 7 4 6 3 7 Add to Reading List Source URL: www.puzzlexpress.com Language: English - Date: 2008-11-20 10:14:47 Puzzle video games Recreational mathematics NP-complete problems Sudoku Mathematical puzzle Sudoku algorithms Str8ts Mathematics Games Logic puzzles
862	Logic Puzzles booklet #3 ©[removed]Tim Peeters (http://www.home.zonnet.nl/kostunix/) The Line Game (*) All cells have to be covered by a line. Except the four black cells and the ones containing a number. These line Add to Reading List Source URL: home.zonnet.nl Language: English - Date: 2002-05-13 20:42:33** Behavior Logic puzzles NP-complete problems Crossword
863	6-Pack Puzzles No. 1 AKARI DOMINO FILLOMINO Add to Reading List Source URL: crauswords.com Language: English - Date: 2010-12-06 00:30:16 Kakuro Sudoku Fillomino Light Up Crossword Puzzle Nikoli Hitori Logic puzzles NP-complete problems Mathematics
864	Introduction to Satisfiability Solving with Practical Applications Niklas Een SAT solvers Add to Reading List Source URL: wikis.mit.edu Language: English - Date: 2011-06-27 04:21:44 Mathematics Automated theorem proving Electronic design automation Formal methods NP-complete problems Satisfiability Modulo Theories Unit propagation Backtracking Resolution Theoretical computer science Constraint programming Applied mathematics
865	Meta-model-based implementation of Sudoku: Eclipse vs. Visual Studio Ingelin F. Isfeldt Terje Gjøsæter Andreas Prinz Add to Reading List Source URL: www.nik.no Language: English - Date: 2009-01-21 06:22:52 Logic puzzles Recreational mathematics NP-complete problems Sudoku Object Constraint Language Eclipse Domain-specific language ECO Metamodeling Software Computing Unified Modeling Language
866	The Tour-Library (TOURLIB.DLL) The Tour-library is a standard software library for Windows (dll) that can be called and used from most programming languages (C++, Java, Delphi, C, VB, C#, etc.). It contains a number of f Add to Reading List Source URL: www.virtual-optima.com Language: English - Date: 2011-12-20 07:38:26 Mathematics NP-complete problems Mathematical optimization Travelling salesman problem Vehicle routing problem Computer algebra systems AMPL Solver Sol Operations research Theoretical computer science Applied mathematics
867	Logic Puzzles booklet #11 ©[removed]Tim Peeters (http://www.home.zonnet.nl/kostunix/) Dear puzzle(d) friends, This is already my 11th booklet with logic puzzles made especially for all you puzzlers in the world. This 1 Add to Reading List Source URL: home.zonnet.nl Language: English - Date: 2003-10-24 04:09:57 Games Human behavior Logic puzzles Publishing Puzzle video games NP-complete problems Leisure Crossword
868	SMT Solvers Theory & Practice Leonardo de Moura [removed] Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-11-12 03:14:38 Model theory Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories Structure Well-formed formula Boolean satisfiability problem Mathematics Theoretical computer science Logic
869	Logic Puzzles booklet #4 ©[removed]Tim Peeters (http://www.home.zonnet.nl/kostunix/) Magic Square #1 (*) In every row, every column and on the two diagonals every number from 1 to 9 appears exactly once. Some number Add to Reading List Source URL: home.zonnet.nl Language: English - Date: 2002-07-22 15:35:11** Games Crossword Human behavior Publishing Sudoku Puzzle video games NP-complete problems Logic puzzles Leisure
870	Logic Puzzles booklet #10 ©[removed]Tim Peeters (http://www.home.zonnet.nl/kostunix/) Number Crossword (***) The numbers tell you the sum of the digits you ought to fill in. Every sum has to be reached by an additio Add to Reading List Source URL: home.zonnet.nl Language: English - Date: 2003-06-19 06:31:31** NP-complete problems Crossword Logic puzzles

UPDATE