A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
Programming Puzzles
[article]
2021
arXiv
pre-print
Preserved Fulltext
Other Versions
We introduce a new type of programming challenge called programming puzzles, as an objective and comprehensive evaluation of program synthesis, and release an open-source dataset of Python Programming ...
Each puzzle is defined by a short Python program f, and the goal is to find an input which makes f return True. ...
We would like to thank Mariia Mykhailova for suggesting doing a Python Programming Puzzles Hackathon. We are especially grateful to the participants in our user study and hackathon. ...
arXiv:2106.05784v3
fatcat:pbpukqbjijf4pd5a7eo4zircfu
Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers
2001
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Basic ideas are illustrated by a model checking based solution for a complicated puzzle how to identify a unique false coin among given ones balancing them limited times. ...
Both authors were trainers of teams of undergraduates for ACM Regional programming contests. So a question how to put the puzzle for programming arose naturally. ...
Since the problem is to write a program which produce another program then we would like to refer the first program as the metaprogram and the problem as the metaprogram problem respectively. ...
doi:10.1016/s1571-0661(04)80893-4
fatcat:sa3fokw2ivd5dizpvmnueceuoa
Solving Jigsaw Puzzles with Linear Programming
[article]
2015
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We propose a novel Linear Program (LP) based formula- tion for solving jigsaw puzzles. ...
We formulate jigsaw solving as a set of successive global convex relaxations of the stan- dard NP-hard formulation, that can describe both jigsaws with pieces of unknown position and puzzles of unknown ...
Conclusion We have proposed a novel formulation for solving jigsaw puzzles as a convergent sequence of linear programs. ...
arXiv:1511.04472v1
fatcat:hsmtybjwsbgurdnkqzocvxar4u
Enabling independent learning of programming concepts through programming completion puzzles
2015
2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Many novice programming environments use puzzle-like approaches to help novice programmers acquire new programming skills independently. ...
Yet, little is known about 1) how puzzles can support effective learning of programming skills and 2) how learning programming using a puzzle-based approach compares to more a traditional tutorial style ...
I PROGRAMMING PUZZLE CURRICULUM ID Programming Concept
Difficulty
No. ...
doi:10.1109/vlhcc.2015.7357226
dblp:conf/vl/HarmsRK15
fatcat:am6c5kprcrh4jaffalrv72wsji
Constraint Programming Lessons Learned from Crossword Puzzles
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper we use crossword puzzle generation as a case study to examine this question. We draw the following general lessons from our study. ...
Constraint programming is a methodology for solving difficult combinatorial problems. ...
of a constraint programming approach. ...
doi:10.1007/3-540-45153-6_8
fatcat:qw3zkzy2qbh2vftxyov3nuexy4
Yeast Programmed Cell Death: An Intricate Puzzle
2005
IUBMB Life - A Journal of the International Union of Biochemistry and Molecular Biology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
However, the finding of an endogenous programmed cell death (PCD) process in yeast with an apoptotic phenotype has turned yeast into an 'unclean' but even more powerful model for apoptosis research. ...
In many instances of programmed necrosis, pieces of the apoptotic death machinery are shared by the necrotic death program. ...
Even though mechanisms of programmed necrosis are conserved from worms and flies to humans (42) , programmed necrosis has not been specifically studied in yeasts. ...
doi:10.1080/15216540500090553
pmid:16036575
fatcat:zn5l72ndy5aw7ck5vhkta4x33q
A Program for Solving Word Sum Puzzles
1969
Computer journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper describes a program for solving a class of 'word sum' or 'cryptarithm' puzzles by a heuristic tree searching method. ...
Strachey for many illuminating discussions about the theory of programming, and to Professor J. A. Robinson for helping me to clarify the ideas presented here. ...
The program also solved several other word sum problems successfully. ...
doi:10.1093/comjnl/12.1.48
fatcat:l7jvobbigffshchlnymtrb25ly
Puzzle—Solving theBattleshipPuzzle as an Integer Programming Problem
2010
INFORMS Transactions on Education
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
O ne's aim in solving logical puzzles is to find the solution by making use of several clues and restrictions. In this paper, we solve a logical puzzle, the Battleship puzzle, by integer programming. ...
Moreover, two integer programming models (i.e., a cell-based model and a ship-based model) for the Battleship puzzle are compared based on their complexity and solution times. ...
In this paper, integer programming is used to solve the Battleship puzzle. ...
doi:10.1287/ited.1100.0047
fatcat:4xywaraq7jgm7fdsz6vwhbz5ny
Solving KenKen puzzles — by not playing
2010
Pharmaceutical Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Unlike Sudoku puzzles that can use any symbol and have sub-matrices, Kenken puzzles require actual integers and have contiguous cells, called cages. ...
Depending on the size of the NxN grid, the number (and size) of the cages, as well as the arithmetic operations used, a Kenken puzzle offers a formidable challenge for logic puzzle fans. ...
INTRODUCTION Ken-Ken puzzles are the latest craze of logic puzzles that might even exceed Sudoku puzzles. ...
doi:10.1179/175709310x12847352884285
fatcat:wzl3gcw6yfdnzmu7uy2yugk2h4
Solving Scheduling Problems As The Puzzle Games Using Constraint Programming
2018
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Constraint programming (CP) is one of the most effective techniques for solving practical operational problems. ...
CP is then applied to solve the defined puzzle and the results show the success of the proposed method. ...
INTRODUCTION Constraint Programming (CP) is a programming paradigm used for modelling and solving problems with a discrete set of solutions [1] . ...
doi:10.5281/zenodo.1219529
fatcat:fiyhn7cptbc35bqk457fb6jmaa
Programming quantum computers using 3-D puzzles, coffee cups, and doughnuts
[article]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The task of programming a quantum computer is just as strange as quantum mechanics itself. But it now looks like a simple 3D puzzle may be the future tool of quantum software engineers. ...
A qualtum program is therefore, literally, defined and described by a puzzle and this puzzle can be shaped, stretched and molded to change the physical resources needed by a quantum program without changing ...
the program itself [59] . ...
arXiv:1609.06628v1
fatcat:jkcxonwopbcrncwgfdhllhsmfm
Solving the snake cube puzzle in Haskell
2013
Journal of functional programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We describe a concise and elegant functional program, written in Haskell, that computes solutions for a classic puzzle known as the "snake cube". ...
Well-suited for an introductory course on functional programming, this example highlights the use of visualization tools to explain and demonstrate the choices of data structures and algorithms that are ...
Acknowledgments The author wishes to thank the Campbell family for introducing him to the snake cube puzzle. ...
doi:10.1017/s0956796813000014
fatcat:xncsrjh76bbhfm6khtpxrgtdqq
SOLVING DIAGONAL SUDOKU PUZZLE 9X9 GRID BY JAVA PROGRAMMING ALGORITHM
2019
Journal of Information System and Technology Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
This Java Programming is designed to solve the diagonal Sudoku puzzle for a 9x9 grid. ...
In order to solve the puzzle, we have to construct an algorithm and translate it using Java Programming Language. ...
Even any level of puzzle has been inserted; the program still can show the solution of the given puzzle. ...
doi:10.35631/jistm.413007
fatcat:2rk2hzjstfdtpou3ohkzn7sqje
RompecPC: A computerized program to create and solve jigsaw puzzles
2013
Journal of Biomedical Science and Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
RompecPC is a computerized program designed to create and assemble jigsaw puzzles. ...
These features facilitate the implementation and evaluation of puzzles while also reducing human error. ...
Each participant executed the program individually using a time limit of 15 minutes (900 seconds) to assemble the puzzle. ...
doi:10.4236/jbise.2013.67088
fatcat:rqq3nikyaze4nhuatganhsibu4
Word puzzles in Haskell
2005
Proceedings of the 2005 workshop on Functional and declaritive programming in education - FDPE '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
This paper describes some functional programming exercises in the form of implementing some interactive word puzzle games. ...
Other teachers of functional programming may find these word puzzle games useful, either as is, or as inspiration. ...
This paper describes a interactive loop useful for word puzzle games, along with two word puzzles; these were used for exercises for an introductory undergraduate functional programming course. ...
doi:10.1145/1085114.1085119
dblp:conf/icfp/Curtis05
fatcat:nceezwqpkvc7vksknhjitkj44a
« Previous
Showing results 1 — 15 out of 217,935 results