Matches in SemOpenAlex for { <https://semopenalex.org/work/W1528289834> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1528289834 endingPage "1934" @default.
- W1528289834 startingPage "1933" @default.
- W1528289834 abstract "We present a Java applet that uses Constraint Processing (CP) to assist a human in playing the popular game Minesweeper. Our goal is to illustrate the power of CP techniques to model and solve combinatorial problems in a context accessible to the general public. Minesweeper is a video game that has been included with Microsoft Windows since 1989. In this game, the player is presented with a grid of squares. Each of these squares may conceal a mine. When the player clicks on a square, it is revealed. If the square is a mine, the game is over. If the square is not a mine, it is replaced by a number indicating how many of the adjacent squares are mines. The goal of the game is to reveal all squares that are not mines. These simple rules yield a complex problem: Kaye proved that the minesweeper-consistency problem is NP-complete (2000). The minesweeper-consistency problem is to determine if, given a board with some known squares, there exists a layout of mines in the unknown squares that is consistent with the numbers displayed. A few programs have been written to solve Minesweeper. One notable such program was developed by Collet (2004), and uses the Oz language to model and solve Minesweeper as a set of Boolean linear constraints. In his implementation, Collet defines constraints intensionally and generates dual variables to achieve higher-level consistency1. This model artificially and unnecessarily increases the number of variables (thus increasing the cost in terms of time and space), and obscures the concept of ‘consistency level,’ which is central to Constraint Processing. Like (Collet 2004), our program assists the player in solving Minesweeper puzzles by modeling them as Constraint Satisfaction Problems (CSPs). Although our model is similar to that of Collet, it was developed independently. Also, our constraints are defined in extension, and, importantly, our implementation uses textbook propagation-algorithms to determine the locations of mines, thus better serving our pedagogical goals." @default.
- W1528289834 created "2016-06-24" @default.
- W1528289834 creator A5008039456 @default.
- W1528289834 creator A5037951903 @default.
- W1528289834 creator A5084469975 @default.
- W1528289834 date "2006-07-16" @default.
- W1528289834 modified "2023-09-24" @default.
- W1528289834 title "An interactive constraint-based approach to minesweeper" @default.
- W1528289834 cites W1528090900 @default.
- W1528289834 cites W2091711673 @default.
- W1528289834 cites W2172477924 @default.
- W1528289834 cites W2337098149 @default.
- W1528289834 hasPublicationYear "2006" @default.
- W1528289834 type Work @default.
- W1528289834 sameAs 1528289834 @default.
- W1528289834 citedByCount "8" @default.
- W1528289834 countsByYear W15282898342012 @default.
- W1528289834 countsByYear W15282898342015 @default.
- W1528289834 countsByYear W15282898342018 @default.
- W1528289834 countsByYear W15282898342021 @default.
- W1528289834 crossrefType "proceedings-article" @default.
- W1528289834 hasAuthorship W1528289834A5008039456 @default.
- W1528289834 hasAuthorship W1528289834A5037951903 @default.
- W1528289834 hasAuthorship W1528289834A5084469975 @default.
- W1528289834 hasConcept C105795698 @default.
- W1528289834 hasConcept C126255220 @default.
- W1528289834 hasConcept C135692309 @default.
- W1528289834 hasConcept C151730666 @default.
- W1528289834 hasConcept C154945302 @default.
- W1528289834 hasConcept C177264268 @default.
- W1528289834 hasConcept C185429906 @default.
- W1528289834 hasConcept C199360897 @default.
- W1528289834 hasConcept C2524010 @default.
- W1528289834 hasConcept C2776036281 @default.
- W1528289834 hasConcept C2776436953 @default.
- W1528289834 hasConcept C2779343474 @default.
- W1528289834 hasConcept C33923547 @default.
- W1528289834 hasConcept C41008148 @default.
- W1528289834 hasConcept C7342684 @default.
- W1528289834 hasConcept C80444323 @default.
- W1528289834 hasConcept C86803240 @default.
- W1528289834 hasConcept C9936470 @default.
- W1528289834 hasConceptScore W1528289834C105795698 @default.
- W1528289834 hasConceptScore W1528289834C126255220 @default.
- W1528289834 hasConceptScore W1528289834C135692309 @default.
- W1528289834 hasConceptScore W1528289834C151730666 @default.
- W1528289834 hasConceptScore W1528289834C154945302 @default.
- W1528289834 hasConceptScore W1528289834C177264268 @default.
- W1528289834 hasConceptScore W1528289834C185429906 @default.
- W1528289834 hasConceptScore W1528289834C199360897 @default.
- W1528289834 hasConceptScore W1528289834C2524010 @default.
- W1528289834 hasConceptScore W1528289834C2776036281 @default.
- W1528289834 hasConceptScore W1528289834C2776436953 @default.
- W1528289834 hasConceptScore W1528289834C2779343474 @default.
- W1528289834 hasConceptScore W1528289834C33923547 @default.
- W1528289834 hasConceptScore W1528289834C41008148 @default.
- W1528289834 hasConceptScore W1528289834C7342684 @default.
- W1528289834 hasConceptScore W1528289834C80444323 @default.
- W1528289834 hasConceptScore W1528289834C86803240 @default.
- W1528289834 hasConceptScore W1528289834C9936470 @default.
- W1528289834 hasLocation W15282898341 @default.
- W1528289834 hasOpenAccess W1528289834 @default.
- W1528289834 hasPrimaryLocation W15282898341 @default.
- W1528289834 hasRelatedWork W11023685 @default.
- W1528289834 hasRelatedWork W1480084205 @default.
- W1528289834 hasRelatedWork W1530816677 @default.
- W1528289834 hasRelatedWork W1557705358 @default.
- W1528289834 hasRelatedWork W181821166 @default.
- W1528289834 hasRelatedWork W1895597782 @default.
- W1528289834 hasRelatedWork W2042241295 @default.
- W1528289834 hasRelatedWork W2153621541 @default.
- W1528289834 hasRelatedWork W2159787211 @default.
- W1528289834 hasRelatedWork W2279561282 @default.
- W1528289834 hasRelatedWork W2315316213 @default.
- W1528289834 hasRelatedWork W2487359499 @default.
- W1528289834 hasRelatedWork W2612866181 @default.
- W1528289834 hasRelatedWork W2911839068 @default.
- W1528289834 hasRelatedWork W2963652431 @default.
- W1528289834 hasRelatedWork W2984454117 @default.
- W1528289834 hasRelatedWork W84528582 @default.
- W1528289834 hasRelatedWork W2185770622 @default.
- W1528289834 hasRelatedWork W2188845897 @default.
- W1528289834 hasRelatedWork W2304635330 @default.
- W1528289834 isParatext "false" @default.
- W1528289834 isRetracted "false" @default.
- W1528289834 magId "1528289834" @default.
- W1528289834 workType "article" @default.