Detikzify: Synthesizing graphics programs for scientific figures and sketches with tikz

J Belouadi, S Ponzetto, S Eger - Advances in Neural …, 2025‏ - proceedings.neurips.cc
Creating high-quality scientific figures can be time-consuming and challenging, even though
sketching ideas on paper is relatively easy. Furthermore, recreating existing figures that are …

Procedural puzzle generation: A survey

B De Kegel, M Haahr - IEEE Transactions on Games, 2019‏ - ieeexplore.ieee.org
Procedural content generation (PCG) for games has existed since the 1980s and is
becoming increasingly important for creating game worlds, backstory, and characters across …

Data driven Sokoban puzzle generation with Monte Carlo tree search

B Kartal, N Sohre, S Guy - Proceedings of the AAAI Conference on …, 2016‏ - ojs.aaai.org
In this work, we propose a Monte Carlo Tree Search (MCTS) based approach to
procedurally generate Sokoban puzzles. Our method generates puzzles through simulated …

[PDF][PDF] Monte Carlo tree search with branch and bound for multi-robot task allocation

B Kartal, E Nunes, J Godoy… - The IJCAI-16 workshop …, 2016‏ - www-users.cse.umn.edu
Multi-robot teams are effective in a variety of task allocation domains such as warehouse
automation and surveillance. Robots in such domains have to perform tasks at given …

Puzzle-Level Generation with Simple-tiled and Graph-based Wave Function Collapse Algorithms

H Kim, B Seo, S Kang - IEEE Transactions on Games, 2024‏ - ieeexplore.ieee.org
This study presents case studies using two wave function collapse (WFC) methods, graph-
based WFC and simple tiled WFC, to create playable levels for two logic puzzle games …

Tree search versus optimization approaches for map generation

D Bhaumik, A Khalifa, M Green… - Proceedings of the AAAI …, 2020‏ - ojs.aaai.org
Search-based procedural content generation uses stochastic global optimization algorithms
to search for game content. However, standard tree search algorithms can be competitive …

Using search algorithm statistics for assessing maze and puzzle difficulty

E Valenzuela, H Schaa, NA Barriga, G Patow - Entertainment Computing, 2025‏ - Elsevier
A video game's difficulty has a large impact on player engagement. For instance, it is crucial
in some genres to give the players a challenge difficult enough without frustrating them. We …

Procedural Generation of Rush Hour Levels

GB de Trenquelleon, A Choukarah, M Roucairol… - … on Computers and …, 2022‏ - Springer
Procedural generation of puzzle games allows for more varied and diverse levels, which
provides a better gaming experience. However, the generation based on deep-learning …

Tree search vs optimization approaches for map generation

D Bhaumik, A Khalifa, MC Green, J Togelius - arxiv preprint arxiv …, 2019‏ - arxiv.org
Search-based procedural content generation uses stochastic global optimization algorithms
to search for game content. However, standard tree search algorithms can be competitive …

Improving solvability for procedurally generated challenges in physical solitaire games through entangled components

M Goadrich, J Droscha - IEEE Transactions on Games, 2019‏ - ieeexplore.ieee.org
Challenges for physical solitaire puzzle games are typically designed in advance by
humans and limited in number. Alternatively, some games incorporate rules for stochastic …