English
Related papers

Related papers: Challenges in Modelling and Solving Plotting with …

200 papers

Many planning applications involve complex relationships defined on high-dimensional, continuous variables. For example, robotic manipulation requires planning with kinematic, collision, visibility, and motion constraints involving robot…

Artificial Intelligence · Computer Science 2020-03-24 Caelan Reed Garrett , Tomás Lozano-Pérez , Leslie Pack Kaelbling

Tantrix is a puzzle to make a loop by connecting lines drawn on hexagonal tiles, and the objective of this research is to solve it by a computer. For this purpose, we give a problem setting of solving Tantrix as arranging tiles in an…

Discrete Mathematics · Computer Science 2012-03-01 Fumika Kino , Yushi Uno

The Number Rotation Puzzle (NRP) is a combination puzzle in which the goal is to rearrange a scrambled rectangular grid of numbers back into order via moves that consist of rotating square blocks of numbers of fixed size. Over all possible…

Combinatorics · Mathematics 2022-12-01 Thomas Lam

Consider a periodical (in two independent directions) tiling of the plane with polygons (faces). In this article we shall only give examples using squares, regular hexagons, equilateral triangles and parallelograms ("unions" of two…

History and Overview · Mathematics 2011-06-07 Jorge Rezende

Practically all of the planning research is limited to states represented in terms of Boolean and numeric state variables. Many practical problems, for example, planning inside complex software systems, require far more complex data types,…

Artificial Intelligence · Computer Science 2023-01-02 Mojtaba Elahi , Jussi Rintanen

Recent works have explored using language models for planning problems. One approach examines translating natural language descriptions of planning tasks into structured planning languages, such as the planning domain definition language…

Computation and Language · Computer Science 2025-11-12 Max Zuo , Francisco Piedrahita Velez , Xiaochen Li , Michael L. Littman , Stephen H. Bach

Given a tiling of a 2D grid with several types of tiles, we can count for every row and column how many tiles of each type it intersects. These numbers are called the_projections_. We are interested in the problem of reconstructing a tiling…

Computational Complexity · Computer Science 2009-09-25 Marek Chrobak , Peter Couperus , Christoph Durr , Gerhard Woeginger

We propose a new kind of sliding-block puzzle, called Gourds, where the objective is to rearrange 1 x 2 pieces on a hexagonal grid board of 2n + 1 cells with n pieces, using sliding, turning and pivoting moves. This puzzle has a single…

Data Structures and Algorithms · Computer Science 2020-11-03 Joep Hamersma , Marc van Kreveld , Yushi Uno , Tom C. van der Zanden

Successful and accurate modelling of level difficulty is a fundamental component of the operationalisation of player experience as difficulty is one of the most important and commonly used signals for content design and adaptation. In games…

Artificial Intelligence · Computer Science 2023-06-27 Jeppe Theiss Kristensen , Arturo Valdivia , Paolo Burelli

This papers focuses on symbol spotting on real-world digital architectural floor plans with a deep learning (DL)-based framework. Traditional on-the-fly symbol spotting methods are unable to address the semantic challenge of graphical…

Computer Vision and Pattern Recognition · Computer Science 2020-06-02 Alireza Rezvanifar , Melissa Cote , Alexandra Branzan Albu

The Decodoku project seeks to let users get hands-on with cutting-edge quantum research through a set of simple puzzle games. The design of these games is explicitly based on the problem of decoding qudit variants of surface codes. This…

Quantum Physics · Physics 2017-12-29 James R. Wootton

We consider apictorial edge-matching puzzles, in which the goal is to arrange a collection of puzzle pieces with colored edges so that the colors match along the edges of adjacent pieces. We devise an algebraic representation for this…

Computer Vision and Pattern Recognition · Computer Science 2015-07-30 Shahar Z. Kovalsky , Daniel Glasner , Ronen Basri

This work presents DLO-Splatting, an algorithm for estimating the 3D shape of Deformable Linear Objects (DLOs) from multi-view RGB images and gripper state information through prediction-update filtering. The DLO-Splatting algorithm uses a…

Computer Vision and Pattern Recognition · Computer Science 2025-05-22 Holly Dinkel , Marcel Büsching , Alberta Longhini , Brian Coltin , Trey Smith , Danica Kragic , Mårten Björkman , Timothy Bretl

Difficulty is one of the key drivers of player engagement and it is often one of the aspects that designers tweak most to optimise the player experience; operationalising it is, therefore, a crucial task for game development studios. A…

Artificial Intelligence · Computer Science 2025-03-20 Jeppe Theiss Kristensen , Paolo Burelli

Learning to program has become common in schools, higher education and individual learning. Although testing is an important aspect of programming, it is often neglected in education due to a perceived lack of time and knowledge, or simply…

Software Engineering · Computer Science 2023-04-06 Philipp Straubinger , Laura Caspari , Gordon Fraser

Using LLMs not to predict plans but to formalize an environment into the Planning Domain Definition Language (PDDL) has been shown to improve performance and control. While most existing methodology only applies to fully observable…

Artificial Intelligence · Computer Science 2026-04-10 Liancheng Gong , Wang Zhu , Jesse Thomason , Li Zhang

Task and motion planning problems in robotics combine symbolic planning over discrete task variables with motion optimization over continuous state and action variables. Recent works such as PDDLStream have focused on optimistic planning…

Robotics · Computer Science 2023-08-24 Mohamed Khodeir , Ben Agro , Florian Shkurti

Modern board games are a rich source of entertainment for many people, but also contain interesting and challenging structures for game playing research and implementing game playing agents. This paper studies the game Patchwork, a two…

Artificial Intelligence · Computer Science 2020-01-14 Mikael Zayenz Lagerkvist

Mathematical reasoning with algebraic and graphical representations is essential for success in physics courses. Many problems require students to fluently move between algebraic and graphical representations. We developed a freely…

Under the assumptions that (i) gamification consists of various types of users that experience game design elements differently; and (ii) gamification is deployed in order to achieve some goal in the broadest sense, we pose the gamification…

Human-Computer Interaction · Computer Science 2014-07-04 Michael Meder , Brijnesh-Johannes Jain