Search filters

Authors whose works are in public domain in at least one jurisdiction

List of works by Pavel Surynek

A novel approach to path planning for multiple robots in bi-connected graphs

Adversarial Cooperative Path-Finding: Complexity and Algorithms

scholarly article published November 2014

An Application of Pebble Motion on Graphs to Abstract Multi-robot Path Planning

Application of Longest Common Subsequence Algorithms to Meshing of Planar Domains with Quadrilaterals

Application of propositional satisfiability to special cases of cooperative path-planning

Compact Representations of Cooperative Path-Finding as SAT Based on Matchings in Bipartite Graphs

Encoding HTN Planning as a Dynamic CSP

Encoding of Planning Problems and Their Optimizations in Linear Logic

Modeling and Solving the Multi-agent Pathfinding Problem in Picat

Modelling Alternatives in Temporal Networks

Mutex reasoning in cooperative path finding modeled as propositional satisfiability

On Propositional Encodings of Cooperative Path-Finding

PRICAI 2014: Trends in Artificial Intelligence

Preprocessing in Propositional Satisfiability Using Bounded (2, k)-Consistency on Regions with a Locally Difficult Constraint Setup

REDUNDANCY ELIMINATION IN HIGHLY PARALLEL SOLUTIONS OF MOTION COORDINATION PROBLEMS

article published in 2013

Redundancy Elimination in Highly Parallel Solutions of Motion Coordination Problems

Relocation tasks and a hierarchical subclass

Shortening Plans by Local Re-planning

Towards Optimal Cooperative Path Planning in Hard Setups through Satisfiability Solving

Variants of Independence Detection in SAT-Based Optimal Multi-agent Path Finding

Paulina is supported by:

About Paulina

Help