Pavel Surynek

MaRDI QIDQ613780zbMATH OpenORCIDWikidataFDO

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