User contributions
From Sokoban Wiki
(Latest | Earliest) View (newer 100) (older 100) (20 | 50 | 100 | 250 | 500)
- 00:37, 21 May 2018 (hist) (diff) Solver (→"Real world" PI-Corral Examples)
- 00:32, 21 May 2018 (hist) (diff) N File:DDMPFigure3Level.png (top)
- 00:32, 21 May 2018 (hist) (diff) Solver (→"Real world" PI-Corral Examples: DDMP counter evidence)
- 00:13, 21 May 2018 (hist) (diff) N File:OriginalLevel15PICorral.png (top)
- 00:13, 21 May 2018 (hist) (diff) Solver (→"Real world" PI-Corral Examples: level 15)
- 00:07, 21 May 2018 (hist) (diff) N File:OriginalLevel10PICorral.png (top)
- 00:07, 21 May 2018 (hist) (diff) N File:OriginalLevel6PICorral.png (top)
- 00:07, 21 May 2018 (hist) (diff) N File:OriginalLevel4PICorral.png (top)
- 00:01, 21 May 2018 (hist) (diff) Solver (→Example PI-Corrals: new head line)
- 00:00, 21 May 2018 (hist) (diff) Solver (→Example PI-Corrals: level 10)
- 23:55, 20 May 2018 (hist) (diff) Solver (→Example PI-Corrals: level 6)
- 23:46, 20 May 2018 (hist) (diff) N File:OriginalLevel3PICorral.png (top)
- 23:45, 20 May 2018 (hist) (diff) Solver (→Example PI-Corrals)
- 23:38, 20 May 2018 (hist) (diff) Solver (→Example PI-Corrals: level 3)
- 23:35, 20 May 2018 (hist) (diff) Solver (→Example PI-Corrals)
- 23:28, 20 May 2018 (hist) (diff) N File:OriginalLevel1PICorral.png (top)
- 23:28, 20 May 2018 (hist) (diff) Solver (→Example PI-Corrals: original level 1)
- 23:22, 20 May 2018 (hist) (diff) Solver (→Example PI-Corrals: examples)
- 23:11, 20 May 2018 (hist) (diff) Solver (→Temporary Auxiliary Pushes: Example PI-Corrals)
- 23:10, 20 May 2018 (hist) (diff) N File:TemporaryAuxiliaryPushes2.png (top)
- 23:09, 20 May 2018 (hist) (diff) N File:TemporaryAuxiliaryPushes.png (top)
- 23:09, 20 May 2018 (hist) (diff) Solver (→Temporary Auxiliary Pushes)
- 22:54, 20 May 2018 (hist) (diff) Solver (→Statistics: Temporary Auxiliary Pushes)
- 22:54, 20 May 2018 (hist) (diff) m Solver (→PI-Corral limitations)
- 22:51, 20 May 2018 (hist) (diff) Solver (→Statistics: PI-Corral limitations)
- 22:50, 20 May 2018 (hist) (diff) m Solver (→Statistics)
- 22:50, 20 May 2018 (hist) (diff) Solver (→Deadlock Situations: statistics)
- 22:41, 20 May 2018 (hist) (diff) m Solver Statistics (→Statistics for Various Level Sets)
- 22:31, 20 May 2018 (hist) (diff) N File:DeadlocksAndPICorrals.png (top)
- 22:31, 20 May 2018 (hist) (diff) Solver (→Deadlock Situations)
- 22:26, 20 May 2018 (hist) (diff) Solver (→Multi Room PI-Corral: Deadlock Situations)
- 22:25, 20 May 2018 (hist) (diff) m Solver (→Multi Room PI-Corral)
- 22:24, 20 May 2018 (hist) (diff) m Solver (→Multi Room PI-Corral)
- 22:24, 20 May 2018 (hist) (diff) Solver (→Multi Room PI-Corral: deadlock detection during PI-Corral detection)
- 22:19, 20 May 2018 (hist) (diff) m Solver (→Multi Room PI-Corral)
- 22:19, 20 May 2018 (hist) (diff) N File:SinglePICorralExample.png (top)
- 22:18, 20 May 2018 (hist) (diff) Solver (→Multi Room PI-Corral: SinglePICorralExample)
- 22:09, 20 May 2018 (hist) (diff) N File:TwoPICorralsExample.png (top)
- 22:09, 20 May 2018 (hist) (diff) m Solver (→Multi Room PI-Corral)
- 22:06, 20 May 2018 (hist) (diff) Solver (→Multi Room PI-Corral)
- 22:04, 20 May 2018 (hist) (diff) m Solver (→Multi Room PI-Corral)
- 22:03, 20 May 2018 (hist) (diff) N File:MultiRoomPICorralExample4.png (top)
- 22:03, 20 May 2018 (hist) (diff) N File:MultiRoomPICorralExample3.png (top)
- 22:03, 20 May 2018 (hist) (diff) Solver (→Multi Room PI-Corral: Single PI-Corral)
- 21:50, 20 May 2018 (hist) (diff) N File:MultiRoomPICorralExample2.png (top)
- 21:50, 20 May 2018 (hist) (diff) Solver (→Multi Room PI-Corral)
- 21:48, 20 May 2018 (hist) (diff) File:MultiRoomPICorralExample1.png (uploaded a new version of "File:MultiRoomPICorralExample1.png") (top)
- 21:44, 20 May 2018 (hist) (diff) N File:MultiRoomPICorralExample1.png
- 21:44, 20 May 2018 (hist) (diff) m Solver (→Multi Room PI-Corral)
- 21:44, 20 May 2018 (hist) (diff) Solver (→Multi Room PI-Corral: multi room)
- 21:28, 20 May 2018 (hist) (diff) Solver (→PI-Corral Pruning: Multi room PI-corral)
- 21:27, 20 May 2018 (hist) (diff) Solver (→PI-Corral Pruning)
- 21:13, 20 May 2018 (hist) (diff) N File:PI-CorralTunnel.png (top)
- 21:11, 20 May 2018 (hist) (diff) Solver (→PI-corral pruning: PI-Corral pruning)
- 20:55, 20 May 2018 (hist) (diff) Solver (→Terms and Definitions: PI-corral pruning)
- 20:53, 20 May 2018 (hist) (diff) Solver (→Terms and Definitions)
- 20:50, 20 May 2018 (hist) (diff) N File:PI-CorralExample2.png (top)
- 20:50, 20 May 2018 (hist) (diff) Solver (→Terms and Definitions)
- 20:43, 20 May 2018 (hist) (diff) N File:PI-CorralExample.png (top)
- 20:33, 20 May 2018 (hist) (diff) N File:PI-CorralCounterExample.png (top)
- 20:29, 20 May 2018 (hist) (diff) m Solver (→Terms and Definitions)
- 20:29, 20 May 2018 (hist) (diff) Solver (→Terms and Definitions: counter example)
- 20:22, 20 May 2018 (hist) (diff) Solver (→Terms and Definitions: definition PI-corral)
- 20:19, 20 May 2018 (hist) (diff) Solver (→Terms and Definitions)
- 20:15, 20 May 2018 (hist) (diff) File:I-CorralExample.png (uploaded a new version of "File:I-CorralExample.png") (top)
- 20:15, 20 May 2018 (hist) (diff) File:I-CorralExample.png (uploaded a new version of "File:I-CorralExample.png")
- 20:12, 20 May 2018 (hist) (diff) Solver (→Terms and Definitions)
- 20:11, 20 May 2018 (hist) (diff) File:CorralExample.png (uploaded a new version of "File:CorralExample.png") (top)
- 20:08, 20 May 2018 (hist) (diff) N File:CorralExample.png
- 20:07, 20 May 2018 (hist) (diff) N File:I-CorralExample.png
- 20:03, 20 May 2018 (hist) (diff) Solver (→Terms and Definitions)
- 20:02, 20 May 2018 (hist) (diff) Solver (→Terms and Definitions: corral definition)
- 19:54, 20 May 2018 (hist) (diff) Solver (→Terms and Definitions: Definition Corral)
- 19:51, 20 May 2018 (hist) (diff) Solver (→PI-Corrals: Terms and Definitions)
- 19:51, 20 May 2018 (hist) (diff) Solver (→PI-Corrals: PI-corrals)
- 19:49, 20 May 2018 (hist) (diff) m Solver (→PI-Corrals)
- 17:32, 11 May 2018 (hist) (diff) m Solver (→Greedy approach: formatting)
- 21:07, 10 May 2018 (hist) (diff) m Solver (→Deadlocks: formatting)
- 21:04, 10 May 2018 (hist) (diff) Solver (→Calculating the Box Distances: Algorithm Optimization)
- 20:59, 10 May 2018 (hist) (diff) m Solver (→Terms and Definitions)
- 20:59, 10 May 2018 (hist) (diff) m Solver (→Terms and Definitions)
- 20:58, 10 May 2018 (hist) (diff) m Solver (→Player reachable area)
- 20:57, 10 May 2018 (hist) (diff) m Solver (→State)
- 20:57, 10 May 2018 (hist) (diff) m Solver (→Board position)
- 20:57, 10 May 2018 (hist) (diff) m Solver (→Box Configuration)
- 20:56, 10 May 2018 (hist) (diff) m Solver (→Goals)
- 20:56, 10 May 2018 (hist) (diff) m Solver (→Boxes)
- 20:56, 10 May 2018 (hist) (diff) m Solver (→Board)
- 20:56, 10 May 2018 (hist) (diff) m Solver (→Level)
- 20:55, 10 May 2018 (hist) (diff) m Solver (→Linear Conflicts)
- 20:54, 10 May 2018 (hist) (diff) m Solver (→Calculating the Box Distances)
- 20:53, 10 May 2018 (hist) (diff) m Solver (→Position of the Player)
- 20:53, 10 May 2018 (hist) (diff) m Solver (→Calculating the Box Distances)
- 20:45, 10 May 2018 (hist) (diff) Solver (→No influence pushes: pattern database)
- 20:43, 10 May 2018 (hist) (diff) m Solver (→Frozen Boxes)
- 20:41, 10 May 2018 (hist) (diff) N File:LowerBoundWithFrozenBox2.png (top)
- 20:41, 10 May 2018 (hist) (diff) m Solver (→Frozen Boxes)
- 20:41, 10 May 2018 (hist) (diff) N File:LowerBoundWithFrozenBox.png (top)
- 20:41, 10 May 2018 (hist) (diff) Solver (→Complex linear conflicts: frozen boxes)
- 20:25, 10 May 2018 (hist) (diff) m Solver (→Linear Conflicts)
(Latest | Earliest) View (newer 100) (older 100) (20 | 50 | 100 | 250 | 500)