<--- Back to Details
First PageDocument Content
Constraint programming / NP-complete problems / Puzzles / Crossword / Constraint satisfaction / Local consistency / Human behavior / Backtracking / Theoretical computer science / Cognition
Date: 2008-06-30 05:38:49
Constraint programming
NP-complete problems
Puzzles
Crossword
Constraint satisfaction
Local consistency
Human behavior
Backtracking
Theoretical computer science
Cognition

Crossword Puzzles as a Constraint Problem Anbulagan and Adi Botea NICTA?? and Australian National University, Canberra, Australia {anbulagan|adi.botea}@nicta.com.au Abstract. We present new results in crossword composit

Add to Reading List

Source URL: abotea.rsise.anu.edu.au

Download Document from Source Website

File Size: 99,33 KB

Share Document on Facebook

Similar Documents

Theoretical Computer Science–40  www.elsevier.com/locate/tcs Presorting algorithms: An average-case point of view

Theoretical Computer Science–40 www.elsevier.com/locate/tcs Presorting algorithms: An average-case point of view

DocID: 1xVR3 - View Document

Theoretical Computer Science – 551 www.elsevier.com/locate/tcs On the computational strength of pure ambient calculi夡 Sergio Maffeis, Iain Phillips∗

Theoretical Computer Science – 551 www.elsevier.com/locate/tcs On the computational strength of pure ambient calculi夡 Sergio Maffeis, Iain Phillips∗

DocID: 1xUAX - View Document

Theoretical Computer Science–24  Contents lists available at ScienceDirect Theoretical Computer Science www.elsevier.com/locate/tcs

Theoretical Computer Science–24 Contents lists available at ScienceDirect Theoretical Computer Science www.elsevier.com/locate/tcs

DocID: 1xUr4 - View Document

Advanced Topics in SAT-Solving Part II: Theoretical Aspects Carsten Sinz Wilhelm-Schickard-Institut for Computer Science University of T¨ubingen

Advanced Topics in SAT-Solving Part II: Theoretical Aspects Carsten Sinz Wilhelm-Schickard-Institut for Computer Science University of T¨ubingen

DocID: 1xTuz - View Document

CS 153  Current Topics in Theoretical Computer Science Spring 2016

CS 153 Current Topics in Theoretical Computer Science Spring 2016

DocID: 1vryF - View Document