29 papers:
HIMI-IKD-2015-WongwichaiT #assembly #comprehension- An Observation of Human Comprehension Through Wood Joints Assembly of a Cube Puzzle (TW, TT), pp. 668–677.
ECIR-2015-NicosiaBM #learning #rank- Learning to Rank Aggregated Answers for Crossword Puzzles (MN, GB, AM), pp. 556–561.
CSCW-2014-SunXA- Exhaustive search of puzzles in operational transformation (CS, YX, A), pp. 519–529.
- HIMI-AS-2014-TanakaTH #development #education #using
- Development of Teaching Material Volume Calculations Using a Wooden Puzzle (TT, MT, IH), pp. 109–117.
- LCT-TRE-2014-SzklannyW #learning #prototype
- Prototyping M-Learning Course on the Basis of Puzzle Learning Methodology (KS, MW), pp. 215–226.
RE-2014-Pinto-AlbuquerqueR #requirements- Tackling the requirements jigsaw puzzle (MPA, AR), pp. 233–242.
ICLP-J-2013-Schwitter #challenge #natural language- The jobs puzzle: Taking on the challenge via controlled natural language processing (RS), pp. 487–501.
ASE-2012-ChenK #automation #testing- Puzzle-based automatic testing: bringing humans into the loop by solving puzzles (NC, SK), pp. 140–149.
VLDB-2012-ElmoreDAA #database #mobile #named #peer-to-peer- InfoPuzzle: Exploring Group Decision Making in Mobile Peer-to-Peer Databases (AJE, SD, DA, AEA), pp. 1998–2001.
KDD-2012-KohaviDFLWX #online- Trustworthy online controlled experiments: five puzzling outcomes explained (RK, AD, BF, RL, TW, YX), pp. 786–794.
KR-2012-BaralD #automation #how #learning #programming #set- Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation (CB, JD).
SAC-2011-JeffersonMP #automation #constraints #generative #named- Combination: automated generation of puzzles with constraints (CJ, WM, KEP), pp. 907–912.
ITiCSE-2010-IhantolaK #open source- Open source widget for parson’s puzzles (PI, VK), p. 302.
REFSQ-2010-Alexander #requirements- Keynote Talk Piecing Together the Requirements Jigsaw-Puzzle (IA), p. 1.
PLDI-2008-PereiraP- Register allocation by puzzle solving (FMQP, JP), pp. 216–226.
LATA-2008-BaumeisterR #problem #reduction- The Three-Color and Two-Color TantrixTM Rotation Puzzle Problems Are NP-Complete Via Parsimonious Reductions (DB, JR), pp. 76–87.
ICPR-2008-MurakamiTSM #assembly- Assembly of puzzles by connecting between blocks (TM, FT, KS, JM), pp. 1–4.
- KR-2008-RogerHN #on the
- On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle (GR, MH, BN), pp. 544–550.
SEKE-2008-ParkK08a #problem #satisfiability- Japanese Puzzle as a SAT Problem (SP, GK), pp. 543–548.
WRLA-2006-Santos-GarciaP07- Solving Sudoku Puzzles with Rewriting Rules (GSG, MP), pp. 79–93.
- HCI-IPT-2007-ChangC #design #implementation #interactive
- Implementing an Interactive Collage Table System with Design Puzzle Exploration (TWC, YBC), pp. 778–787.
- ITiCSE-2006-Snapp #approach
- A Puzzles-First approach to computer science (RRS), p. 310.
- ICPR-v3-2006-SagirogluE #approach #assembly #automation
- A Texture Based Matching Approach for Automated Assembly of Puzzles (MSS, AE), pp. 1036–1041.
PEPM-2002-GiacobazziM #composition #semantics- Compositionality in the puzzle of semantics (RG, IM), pp. 87–97.
- ICPR-v4-2002-ToyamaFSM #algorithm #assembly #search-based #using
- Assembly of Puzzles Using a Genetic Algorithm (FT, YF, KS, JM), pp. 389–392.
ICDAR-2001-ViglinoG #game studies- Cadastre Map Assembling: A Puzzle Game Resolution (JMV, LG), p. 1235–?.
- SAC-1993-HarrisFR
- Basic Blocks in Unconstrained Crossword Puzzles (GH, JF, RR), pp. 257–262.
- SAC-1993-PurdinH #approach #search-based
- A Genetic-Algorithm Approach to Solving Crossword Puzzles (TDMP, GH), pp. 263–270.
CADE-1992-Smullyan- Puzzles and Paradoxes (Abstract) (RMS), p. 208.
