Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with grid-deduction
Search options not deleted
user 75318
Puzzles such as Sudoku or Kakuro, where the final state of a pre-existing grid must be deduced logically through clues placed within and/or around the grid. Use with the [logical-deduction] tag. For puzzles where you are given a list of clues which can be used to compose a grid to solve them logically, use the [logic-grid] tag instead.
11
votes
Accepted
9
votes
Accepted
10
votes
4
votes
Accepted
4
votes
Fix this puzzle, please!
Converting a Disconnect Four puzzle to a SAT instance is very easy.
Based on this
- 7,820
4
votes
12
votes
Accepted
Binary Sudoku Puzzle
There's no no-computers, and it was easy enough to hack my Kyoto CNF generator to produce a SAT instance for the problem: a 9×9 bit array where each row, column and box has two 1s and no two adjacent …
- 7,820
11
votes
1
answer
243
views
Tiling three pears with three-pair hexominos
The 21 hexominos below are all those that can be made by joining three dominos together (i.e. they have a perfect matching with respect to the graph of their squares) and are not rectangles. The objec …
- 7,820
7
votes
1
answer
375
views
"Puzzle Waffle"
A black man, tilting his head in satisfaction and checking it was about lunchtime, entered the Sphinx Café in downtown Washington D.C. on a Friday out of boredom with his usual lunch haunt and greeted …
- 7,820