Pavel Surynek

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Multi-agent Path Finding Modulo Theory with Continuous Movements and the Sum of Costs Objective	2023-03-29	Paper
Multi-agent path finding with mutex propagation Artificial Intelligence	2022-10-04	Paper
Migrating techniques from search-based multi-agent path finding solvers to SAT-based approach Journal of Artificial Intelligence Research	2022-05-16	Paper
Multi-agent pathfinding with continuous time Artificial Intelligence	2022-04-11	Paper
Solving multi-agent path finding on strongly biconnected digraphs Journal of Artificial Intelligence Research	2018-08-14	Paper
Application of longest common subsequence algorithms to meshing of planar domains with quadrilaterals	2018-01-19	Paper
Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems Annals of Mathematics and Artificial Intelligence	2018-01-11	Paper
On the complexity of optimal parallel cooperative path-finding Fundamenta Informaticae	2016-05-11	Paper
SOLVING ABSTRACT COOPERATIVE PATH-FINDING IN DENSELY POPULATED ENVIRONMENTS Computational Intelligence	2016-01-05	Paper
An alternative eager encoding of the all-different constraint over bit-vectors	2015-12-11	Paper
The impact of a bi-connected graph decomposition on solving cooperative path-finding problems Fundamenta Informaticae	2015-06-26	Paper
scientific article; zbMATH DE number 5996383 (Why is no real title available?)	2012-01-11	Paper
Discovering implied constraints in precedence graphs with alternatives Annals of Operations Research	2010-12-22	Paper
A Global Filtration for Satisfying Goals in Mutual Exclusion Networks Lecture Notes in Computer Science	2009-01-13	Paper
Principles and Practice of Constraint Programming – CP 2004 Lecture Notes in Computer Science	2008-09-09	Paper

Research outcomes over time

This page was built for person: Pavel Surynek