Common Subexpressions in Constraint Models of Planning Problems Andrea Rendl, Ian Miguel, Ian P. Gent Peter Gregory School of Computer Science, University of St Andrews, UK

Source URL: andrearendl.com

• Computer programming
• Computing
• Constraint satisfaction
• Sokoban
• Common subexpression elimination
• Logic programming
• Constraint programming
• Software engineering
• Programming paradigms

Generating and Evaluating Unsolvable STRIPS Planning Instances for Classical Planning Bachelor’s Thesis Natural Science Faculty of the University of Basel

Source URL: ai.cs.unibas.ch

• Heuristics
• Linux games
• Windows games
• Sokoban
• Heuristic function
• Heuristic
• Admissible heuristic
• Mathematical optimization
• Planning Domain Definition Language
• Digital media
• Application software
• Software

Proceedings of the 6th Annual North American Conference on AI and Simulation in Games (GAMEON-NA), pp. 5-12, PROCEDURAL GENERATION OF SOKOBAN LEVELS Joshua Taylor and Ian Parberry Dept. of Computer Science & Engin

Source URL: larc.unt.edu

• Application software
• Windows games
• Linux games
• Logic puzzles
• ZX Spectrum games
• Sokoban
• LIT
• Procedural generation
• PSPACE-complete
• Puzzle video games
• Digital media
• Games

Generating and Evaluating Unsolvable STRIPS Planning Instances for Classical Planning Bachelor’s Thesis Dietrich Zerr

Source URL: ai.cs.unibas.ch

• Software
• Linux games
• Windows games
• Sokoban
• Heuristic
• LIT
• Digital media
• Puzzle video games
• Application software

Sokoban.org 发关卡指南 日期：2014 年 2 月 11 日 一、“关卡保持原样”选项 默认情况下，所有发布的关卡都会被系统自动“简单”规范化。这个默认的处 理的确很简单：

Source URL: www.sokoban.ws

16th Canadian Conference on Computational Geometry, 2004 The Box Mover Problem Valentin Polishchuk


Source URL: www.cccg.ca

• Complexity classes
• Mathematical optimization
• Structural complexity theory
• NP-complete problems
• Sokoban
• NP-complete
• NP
• P versus NP problem
• Optimization problem
• Theoretical computer science
• Computational complexity theory
• Applied mathematics

Sokoban: A Challenging Single-Agent Search Problem Andreas Junghanns, Jonathan Schae er University of Alberta

Source URL: webdocs.cs.ualberta.ca

• Heuristics
• Sokoban
• Heuristic function
• Algorithm
• A* search algorithm
• Deadlock
• Reduction
• Admissible heuristic
• Local search
• Theoretical computer science
• Mathematics
• Applied mathematics