Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Pavel Surynek

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/sncs/JanovskaS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sncs/JanovskaS23
Kristýna Janovská, Pavel Surynek:
Agent-Based Modeling in Hierarchical Control of Swarms During Evacuation. SN Comput. Sci. 4(1): 38 (2023)
[i20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-08687
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-08687
Pavel Surynek:
Counterexample Guided Abstraction Refinement with Non-Refined Abstractions for Multi-Agent Path Finding. CoRR abs/2301.08687 (2023)
2022
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/AndreychukYSAS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/AndreychukYSAS22
Anton Andreychuk, Konstantin S. Yakovlev, Pavel Surynek, Dor Atzmon, Roni Stern:
Multi-agent pathfinding with continuous time. Artif. Intell. 305: 103662 (2022)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/ZhangLSKK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/ZhangLSKK22
Han Zhang, Jiaoyang Li, Pavel Surynek, T. K. Satish Kumar, Sven Koenig:
Multi-agent path finding with mutex propagation. Artif. Intell. 311: 103766 (2022)
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/SurynekSBF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/SurynekSBF22
Pavel Surynek, Roni Stern, Eli Boyarski, Ariel Felner:
Migrating Techniques from Search-based Multi-Agent Path Finding Solvers to SAT-based Approach. J. Artif. Intell. Res. 73: 553-618 (2022)
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/BeskydS22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/BeskydS22a
Filip Beskyd, Pavel Surynek:
Domain Dependent Parameter Setting in SAT Solver Using Machine Learning Techniques. ICAART (Revised Selected Paper 2022: 169-200
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/RybarS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/RybarS22
Vojtech Rybár, Pavel Surynek:
Highways in Warehouse Multi-Agent Path Finding: A Case Study. ICAART (1) 2022: 274-281
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/BeskydS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/BeskydS22
Filip Beskyd, Pavel Surynek:
Parameter Setting in SAT Solver using Machine Learning Techniques. ICAART (2) 2022: 586-597
[c92]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Surynek22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Surynek22
Pavel Surynek:
Problem Compilation for Multi-Agent Path Finding: a Survey. IJCAI 2022: 5615-5622
[c91]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/socs/FilovaS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/FilovaS22
Zuzana Fílová, Pavel Surynek:
Lazy Compilation in Classical Planning (Extended Abstract). SOCS 2022: 270-272
[c90]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/socs/JanovskaS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/JanovskaS22
Kristýna Janovská, Pavel Surynek:
Combining Conflict-based Search and Agent-based Modeling for Evacuation Problems (Extended Abstract). SOCS 2022: 294-296
[c89]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/socs/Surynek22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/Surynek22
Pavel Surynek:
Sparse Decision Diagrams for SAT-based Compilation of Multi-Agent Path Finding (Extended Abstract). SOCS 2022: 317-319
[i19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-01752
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-01752
Matous Kulhan, Pavel Surynek:
Plan Execution for Multi-Agent Path Finding with Indoor Quadcopters. CoRR abs/2207.01752 (2022)
[i18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-06940
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-06940
Pavel Surynek:
Heuristically Guided Compilation for Multi-Agent Path Finding. CoRR abs/2212.06940 (2022)
2021
[c88]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/Surynek21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Surynek21
Pavel Surynek:
Multi-Goal Multi-Agent Path Finding via Decoupled and Integrated Goal Vertex Ordering. AAAI 2021: 12409-12417
[c87]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/ChudyS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ChudyS21
Ján Chudý, Pavel Surynek:
ESO-MAPF: Bridging Discrete Planning and Continuous Execution in Multi-Agent Pathfinding. AAAI 2021: 16014-16016
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/ic3k/JanovskaS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ic3k/JanovskaS21
Kristýna Janovská, Pavel Surynek:
Hierarchical Control of Swarms during Evacuation. KEOD 2021: 61-73
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/Surynek21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/Surynek21
Pavel Surynek:
Sparse Real-time Decision Diagrams for Continuous Multi-Robot Path Planning. ICTAI 2021: 91-96
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/IvanovaS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/IvanovaS21
Marika Ivanová, Pavel Surynek:
Adversarial Multi-Agent Path Finding is Intractable. ICTAI 2021: 481-486
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/Surynek21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/Surynek21
Pavel Surynek:
Sparsification for Fast Optimal Multi-Robot Path Planning in Lazy Compilation Schemes. IROS 2021: 7931-7938
[c82]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/socs/CapekS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/CapekS21
Martin Capek, Pavel Surynek:
DPLL(MAPF): an Integration of Multi-Agent Path Finding and SAT Solving Technologies. SOCS 2021: 153-155
[c81]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/socs/Surynek21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/Surynek21
Pavel Surynek:
Multi-Goal Multi-Agent Path Finding via Decoupled and Integrated Goal Vertex Ordering. SOCS 2021: 197-199
[c80]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/socs/Surynek21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/Surynek21a
Pavel Surynek:
Sum of Costs Optimal Multi-Agent Path Finding with Continuous Time via Satisfiability Modulo Theories. SOCS 2021: 200-202
[c79]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/socs/Surynek21b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/Surynek21b
Pavel Surynek:
Conceptual Comparison of Compilation-based Solvers for Multi-Agent Path Finding: MIP vs. SAT. SOCS 2021: 203-205
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-04496
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-04496
Pavel Surynek:
Sparsification for Fast Optimal Multi-Robot Path Planning in Lazy Compilation Schemes. CoRR abs/2103.04496 (2021)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-11809
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-11809
Pavel Surynek:
Compilation-based Solvers for Multi-Agent Path Finding: a Survey, Discussion, and Future Opportunities. CoRR abs/2104.11809 (2021)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2111-06494
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-06494
Martin Capek, Pavel Surynek:
DPLL(MAPF): an Integration of Multi-Agent Path Finding and SAT Solving Technologies. CoRR abs/2111.06494 (2021)
2020
[c78]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aips/ZhangLSKK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/ZhangLSKK20
Han Zhang, Jiaoyang Li, Pavel Surynek, Sven Koenig, T. K. Satish Kumar:
Multi-Agent Path Finding with Mutex Propagation. ICAPS 2020: 323-332
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/Surynek20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/Surynek20
Pavel Surynek:
On Satisfisfiability Modulo Theories in Continuous Multi-Agent Path Finding: Compilation-based and Search-based Approaches Compared. ICAART (2) 2020: 182-193
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/Surynek20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/Surynek20a
Pavel Surynek:
Continuous Multi-agent Path Finding via Satisfiability Modulo Theories (SMT). ICAART (Revised Selected Papers) 2020: 399-420
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/Surynek20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/Surynek20
Pavel Surynek:
At-Most-One Constraints in Efficient Representations of Mutex Networks. ICTAI 2020: 170-177
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/Surynek20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/Surynek20a
Pavel Surynek:
Bounded Suboptimal Token Swapping. ICTAI 2020: 1233-1240
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/Surynek20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/Surynek20
Pavel Surynek:
Bounded Sub-optimal Multi-Robot Path Planning Using Satisfiability Modulo Theory (SMT) Approach. IROS 2020: 11631-11637
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Surynek20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Surynek20
Pavel Surynek:
Multi-agent Path Finding Modulo Theory with Continuous Movements and the Sum of Costs Objective. KI 2020: 219-232
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/Surynek0ZKK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/Surynek0ZKK20
Pavel Surynek, Jiaoyang Li, Han Zhang, T. K. Satish Kumar, Sven Koenig:
Mutex Propagation for SAT-based Multi-agent Path Finding. PRIMA 2020: 248-258
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/rcai/Surynek20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rcai/Surynek20
Pavel Surynek:
Logic-Based Multi-agent Path Finding with Continuous Movements and the Sum of Costs Objective. RCAI 2020: 85-99
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/robovis/ChudyPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/robovis/ChudyPS20
Ján Chudý, Nestor Popov, Pavel Surynek:
Deployment of Multi-agent Pathfinding on a Swarm of Physical Robots Centralized Control via Reflex-based Behavior. ROBOVIS 2020: 28-38
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/Surynek20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/Surynek20
Pavel Surynek:
Swarms of Mobile Agents: From Discrete to Continuous Movements in Multi-Agent Path Finding. SMC 2020: 3006-3012
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/ChudyPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/ChudyPS20
Ján Chudý, Nestor Popov, Pavel Surynek:
Emulating Centralized Control in Multi-Agent Pathfinding Using Decentralized Swarm of Reflex-Based Robots. SMC 2020: 3998-4005
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-13477
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-13477
Pavel Surynek:
Pushing the Envelope: From Discrete to Continuous Movements in Multi-Agent Path Finding via Lazy Encodings. CoRR abs/2004.13477 (2020)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-05962
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-05962
Pavel Surynek:
At-Most-One Constraints in Efficient Representations of Mutex Networks. CoRR abs/2006.05962 (2020)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-05161
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-05161
Pavel Surynek:
Multi-Goal Multi-Agent Path Finding via Decoupled and Integrated Goal Vertex Ordering. CoRR abs/2009.05161 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c66]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/LiSF0KK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/LiSF0KK19
Jiaoyang Li, Pavel Surynek, Ariel Felner, Hang Ma, T. K. Satish Kumar, Sven Koenig:
Multi-Agent Path Finding for Large Agents. AAAI 2019: 7627-7634
[c65]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/Surynek19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/Surynek19
Pavel Surynek:
On the Tour Towards DPLL(MAPF) and Beyond. DDC@AI*IA 2019: 74-83
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/SurynekKK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/SurynekKK19
Pavel Surynek, T. K. Satish Kumar, Sven Koenig:
Multi-agent Path Finding with Capacity Constraints. AI*IA 2019: 235-249
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/ic3k/SelvekS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ic3k/SelvekS19
Róbert Selvek, Pavel Surynek:
Engineering Smart Behavior in Evacuation Planning using Local Cooperative Path Finding Algorithms and Agent-based Simulations. KEOD 2019: 137-143
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/ic3k/SelvekS19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ic3k/SelvekS19a
Róbert Selvek, Pavel Surynek:
Towards Smart Behavior of Agents in Evacuation Planning Based on Local Cooperative Path Finding. IC3K 2019: 302-321
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/Surynek19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/Surynek19a
Pavel Surynek:
Multi-agent Path Finding with Generalized Conflicts: An Experimental Study. ICAART (Revised Selected Papers) 2019: 118-142
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/Surynek19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/Surynek19
Pavel Surynek:
Conflict Handling Framework in Generalized Multi-agent Path finding: Advantages and Shortcomings of Satisfiability Modulo Approach. ICAART (2) 2019: 192-203
[c59]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Surynek19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Surynek19
Pavel Surynek:
Unifying Search-based and Compilation-based Approaches to Multi-agent Path Finding through Satisfiability Modulo Theories. IJCAI 2019: 1177-1183
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcci/CahlikS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcci/CahlikS19
Vojtech Cahlík, Pavel Surynek:
On the Design of a Heuristic based on Artificial Neural Networks for the Near Optimal Solving of the (N2-1)-puzzle. IJCCI 2019: 473-478
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/Surynek19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/Surynek19
Pavel Surynek:
Lazy Compilation of Variants of Multi-robot Path Planning with Satisfiability Modulo Theory (SMT) Approach. IROS 2019: 3282-3287
[c56]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/socs/LiSF0KK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/LiSF0KK19
Jiaoyang Li, Pavel Surynek, Ariel Felner, Hang Ma, T. K. Satish Kumar, Sven Koenig:
Multi-Agent Path Finding for Large Agents. SOCS 2019: 186-187
[c55]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/socs/Surynek19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/Surynek19
Pavel Surynek:
Multi-Agent Path Finding with Continuous Time and Geometric Agents Viewed through Satisfiability Modulo Theories (SMT). SOCS 2019: 200-201
[c54]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/socs/Surynek19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/Surynek19a
Pavel Surynek:
Unifying Search-Based and Compilation-Based Approaches to Multi-Agent Path Finding through Satisfiability Modulo Theories. SOCS 2019: 202-203
[e1]
- view
- export record
  dblp key:
  - conf/socs/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/2019
Pavel Surynek, William Yeoh:
Proceedings of the Twelfth International Symposium on Combinatorial Search, SOCS 2019, Napa, California, 16-17 July 2019. AAAI Press 2019, ISBN 978-1-57735-808-4 [contents]
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-09820
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-09820
Pavel Surynek:
Multi-agent Path Finding with Continuous Time Viewed Through Satisfiability Modulo Theories (SMT). CoRR abs/1903.09820 (2019)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-07631
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-07631
Pavel Surynek:
On the Tour Towards DPLL(MAPF) and Beyond. CoRR abs/1907.07631 (2019)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-12648
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-12648
Pavel Surynek, T. K. Satish Kumar, Sven Koenig:
Multi-Agent Path Finding with Capacity Constraints. CoRR abs/1907.12648 (2019)
2018
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/BoteaBS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/BoteaBS18
Adi Botea, Davide Bonusi, Pavel Surynek:
Solving Multi-agent Path Finding on Strongly Biconnected Digraphs. J. Artif. Intell. Res. 62: 273-314 (2018)
[c53]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/flairs/IvanovaSN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flairs/IvanovaSN18
Marika Ivanová, Pavel Surynek, Diep Thi Ngoc Nguyen:
Maintaining Ad-Hoc Communication Network in Area Protection Scenarios with Adversarial Agents. FLAIRS 2018: 348-353
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/IvanovaSH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/IvanovaSH18
Marika Ivanová, Pavel Surynek, Katsutoshi Hirayama:
Area Protection in Adversarial Path-finding Scenarios with Multiple Mobile Agents on Graphs - A Theoretical and Experimental Study of Strategies for Defense Coordination. ICAART (1) 2018: 184-191
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/Surynek18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/Surynek18
Pavel Surynek:
Finding Optimal Solutions to Token Swapping by Conflict-Based Search and Reduction to SAT. ICTAI 2018: 592-599
[c50]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/BoteaBS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BoteaBS18
Adi Botea, Davide Bonusi, Pavel Surynek:
Solving Multi-Agent Path Finding on Strongly Biconnected Digraphs (Extended Abstract). IJCAI 2018: 5563-5567
[c49]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/socs/SurynekFSB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/SurynekFSB18
Pavel Surynek, Ariel Felner, Roni Stern, Eli Boyarski:
Sub-Optimal SAT-Based Approach to Multi-Agent Path-Finding Problem. SOCS 2018: 90-105
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1806-09487
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-09487
Pavel Surynek:
Finding Optimal Solutions to Token Swapping by Conflict-based Search and Reduction to SAT. CoRR abs/1806.09487 (2018)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1809-05959
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-05959
Pavel Surynek:
Lazy Modeling of Variants of Token Swapping Problem and Multi-agent Path Finding through Combination of Satisfiability Modulo Theories and Conflict-based Search. CoRR abs/1809.05959 (2018)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1812-10851
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-10851
Pavel Surynek:
A Summary of Adaptation of Techniques from Search-based Optimal Multi-Agent Path Finding Solvers to Compilation-based Approach. CoRR abs/1812.10851 (2018)
2017
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/SurynekM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/SurynekM17
Pavel Surynek, Petr Michalík:
The joint movement of pebbles in solving the ( N² - 1 )-puzzle suboptimally and its applications in rule-based cooperative path-finding. Auton. Agents Multi Agent Syst. 31(3): 715-763 (2017)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Surynek17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Surynek17
Pavel Surynek:
Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems. Ann. Math. Artif. Intell. 81(3-4): 329-375 (2017)
[c48]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/SurynekM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/SurynekM17
Pavel Surynek, Petr Michalík:
Joint Movement of Pebbles in Solving the (N2-1)-Puzzle and its Applications in Cooperative Path-Finding: (JAAMAS). AAMAS 2017: 856-857
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/SurynekSFB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/SurynekSFB17
Pavel Surynek, Jiri Svancara, Ariel Felner, Eli Boyarski:
Integration of Independence Detection into SAT-based Optimal Multi-Agent Path Finding - A Novel SAT-based Optimal MAPF Solver. ICAART (2) 2017: 85-95
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/SurynekSFB17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/SurynekSFB17a
Pavel Surynek, Jiri Svancara, Ariel Felner, Eli Boyarski:
Variants of Independence Detection in SAT-Based Optimal Multi-agent Path Finding. ICAART (Revised Selected Papers) 2017: 116-136
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/SvancaraS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/SvancaraS17
Jiri Svancara, Pavel Surynek:
New Flow-based Heuristic for Search Algorithms Solving Multi-agent Path Finding. ICAART (2) 2017: 451-458
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/BartakZSBS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/BartakZSBS17
Roman Barták, Neng-Fa Zhou, Roni Stern, Eli Boyarski, Pavel Surynek:
Modeling and Solving the Multi-agent Pathfinding Problem in Picat. ICTAI 2017: 959-966
[c43]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/socs/FelnerSSBGSSWS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/FelnerSSBGSSWS17
Ariel Felner, Roni Stern, Solomon Eyal Shimony, Eli Boyarski, Meir Goldenberg, Guni Sharon, Nathan R. Sturtevant, Glenn Wagner, Pavel Surynek:
Search-Based Optimal Solvers for the Multi-Agent Pathfinding Problem: Summary and Challenges. SOCS 2017: 29-37
[c42]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/socs/SurynekFSB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/SurynekFSB17
Pavel Surynek, Ariel Felner, Roni Stern, Eli Boyarski:
Modifying Optimal SAT-Based Approach to Multi-Agent Path-Finding Problem to Suboptimal Variants. SOCS 2017: 169-170
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SurynekFSB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SurynekFSB17
Pavel Surynek, Ariel Felner, Roni Stern, Eli Boyarski:
Modifying Optimal SAT-based Approach to Multi-agent Path-finding Problem to Suboptimal Variants. CoRR abs/1707.00228 (2017)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1708-07285
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-07285
Marika Ivanová, Pavel Surynek:
Area Protection in Adversarial Path-Finding Scenarios with Multiple Mobile Agents on Graphs: a theoretical and experimental study of target-allocation strategies for defense coordination. CoRR abs/1708.07285 (2017)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1709-01070
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-01070
Marika Ivanová, Pavel Surynek, Diep Thi Ngoc Nguyen:
Maintaining Ad-Hoc Communication Network in Area Protection Scenarios with Adversarial Agents. CoRR abs/1709.01070 (2017)
2016
[c41]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/SurynekFSB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/SurynekFSB16
Pavel Surynek, Ariel Felner, Roni Stern, Eli Boyarski:
Boolean Satisfiability Approach to Optimal Multi-agent Path Finding under the Sum of Costs Objective: (Extended Abstract). AAMAS 2016: 1435-1436
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/SurynekFSB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/SurynekFSB16
Pavel Surynek, Ariel Felner, Roni Stern, Eli Boyarski:
Efficient SAT Approach to Multi-Agent Path Finding Under the Sum of Costs Objective. ECAI 2016: 810-818
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/mmcs/SurynkovaS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mmcs/SurynkovaS16
Petra Surynková, Pavel Surynek:
Application of Longest Common Subsequence Algorithms to Meshing of Planar Domains with Quadrilaterals. MMCS 2016: 296-311
[c38]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/socs/SurynekFSB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/SurynekFSB16
Pavel Surynek, Ariel Felner, Roni Stern, Eli Boyarski:
An Empirical Comparison of the Hardness of Multi-Agent Path Finding under the Makespan and the Sum of Costs Objectives. SOCS 2016: 145-147
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SurynekM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SurynekM16
Pavel Surynek, Petr Michalík:
Improvements in Sub-optimal Solving of the (N²-1)-Puzzle via Joint Relocation of Pebbles and its Applications to Rule-based Cooperative Path-Finding. CoRR abs/1610.04964 (2016)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Surynek16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Surynek16
Pavel Surynek:
Makespan Optimal Solving of Cooperative Path-Finding via Reductions to Propositional Satisfiability. CoRR abs/1610.05452 (2016)
2015
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Surynek15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Surynek15
Pavel Surynek:
On the Complexity of Optimal Parallel Cooperative Path-Finding. Fundam. Informaticae 137(4): 517-548 (2015)
[c37]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/BoteaS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BoteaS15
Adi Botea, Pavel Surynek:
Multi-Agent Path Finding on Strongly Biconnected Digraphs. AAAI 2015: 2024-2030
[c36]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/Surynek15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Surynek15
Pavel Surynek:
Reduced Time-Expansion Graphs and Goal Decomposition for Solving Cooperative Path Finding Sub-Optimally. IJCAI 2015: 1916-1922
[c35]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/socs/Surynek15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/Surynek15
Pavel Surynek:
UniAGENT: Reduced Time-Expansion Graphs and Goal Decomposition in Sub-optimal Cooperative Path Finding. SOCS 2015: 236-237
2014
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ci/Surynek14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ci/Surynek14
Pavel Surynek:
Solving Abstract Cooperative Path-Finding in Densely Populated Environments. Comput. Intell. 30(2): 402-450 (2014)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/SurynekSC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/SurynekSC14
Pavel Surynek, Petra Surynková, Milos Chromý:
The Impact of a Bi-connected Graph Decomposition on Solving Cooperative Path-finding Problems. Fundam. Informaticae 135(3): 295-308 (2014)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ijait/Surynek14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijait/Surynek14
Pavel Surynek:
Preprocessing in Propositional Satisfiability Using Bounded (2, k)-Consistency on Regions with a Locally Difficult Constraint Setup. Int. J. Artif. Intell. Tools 23(1) (2014)
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/ic3k/SurynekS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ic3k/SurynekS14
Pavel Surynek, Petra Surynková:
Theoretical Challenges in Knowledge Discovery in Big Data - A Logic Reasoning and a Graph Theoretical Point of View. KEOD 2014: 327-332
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/IvanovaS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/IvanovaS14
Marika Ivanová, Pavel Surynek:
Adversarial Cooperative Path-Finding: Complexity and Algorithms. ICTAI 2014: 75-82
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/Surynek14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/Surynek14
Pavel Surynek:
Compact Representations of Cooperative Path-Finding as SAT Based on Matchings in Bipartite Graphs. ICTAI 2014: 875-882
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/micai/Surynek14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micai/Surynek14
Pavel Surynek:
Simple Direct Propositional Encoding of Cooperative Path Finding Simplified Yet More. MICAI (2) 2014: 410-425
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/pricai/Surynek14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pricai/Surynek14
Pavel Surynek:
A Simple Approach to Solving Cooperative Path-Finding as Propositional Satisfiability Works Well. PRICAI 2014: 827-833
2013
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ijait/Surynek13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijait/Surynek13
Pavel Surynek:
Redundancy Elimination in Highly Parallel solutions of Motion Coordination Problems. Int. J. Artif. Intell. Tools 22(5) (2013)
[c29]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/IvanovaS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/IvanovaS13
Marika Ivanová, Pavel Surynek:
Adversarial Cooperative Path-Finding: A First View. AAAI (Late-Breaking Developments) 2013
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/ic3k/Surynek13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ic3k/Surynek13
Pavel Surynek:
A Survey of Collaborative Web Search - Through Collaboration among Search Engine Users to More Relevant Results. KEOD 2013: 331-336
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/Surynek13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/Surynek13
Pavel Surynek:
Mutex reasoning in cooperative path finding modeled as propositional satisfiability. IROS 2013: 4326-4331
[c26]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/sara/Surynek13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sara/Surynek13
Pavel Surynek:
Optimal Cooperative Path-Finding with Generalized Goals in Difficult Cases. SARA 2013
2012
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/Surynek12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/Surynek12
Pavel Surynek:
An Alternative Eager Encoding of the All-Different Constraint over Bit-Vectors. ECAI 2012: 927-928
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/icmlc/Surynek12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmlc/Surynek12
Pavel Surynek:
Application of propositional satisfiability to special cases of cooperative path-planning. ICMLC 2012: 507-512
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/icmlc/Surynek12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmlc/Surynek12a
Pavel Surynek:
Relocation tasks and a hierarchical subclass. ICMLC 2012: 666-669
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/Surynek12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/Surynek12
Pavel Surynek:
On Propositional Encodings of Cooperative Path-Finding. ICTAI 2012: 524-531
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/BalyoBS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/BalyoBS12
Tomás Balyo, Roman Barták, Pavel Surynek:
Shortening Plans by Local Re-planning. ICTAI 2012: 1022-1028
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/pricai/Surynek12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pricai/Surynek12
Pavel Surynek:
Towards Optimal Cooperative Path Planning in Hard Setups through Satisfiability Solving. PRICAI 2012: 564-576
[c19]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/socs/BalyoBS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/BalyoBS12
Tomás Balyo, Roman Barták, Pavel Surynek:
On Improving Plan Quality via Local Enhancements. SOCS 2012
[c18]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/socs/Surynek12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/Surynek12
Pavel Surynek:
A SAT-Based Approach to Cooperative Path-Finding Using All-Different Constraints. SOCS 2012
2011
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/polibits/SurynekL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/polibits/SurynekL11
Pavel Surynek, Ivana Luksová:
Automated Classification of Bitmap Images using Decision Trees. Polibits 44: 11-18 (2011)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/Surynek11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/Surynek11
Pavel Surynek:
Redundancy Elimination in Highly Parallel Solutions of Motion Coordination Problems. ICTAI 2011: 701-708
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/scai/Surynek11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scai/Surynek11
Pavel Surynek:
Exploiting Global Properties in Path-Consistency Applied on SAT. SCAI 2011: 90-99
2010
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/anor/BartakCS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/anor/BartakCS10
Roman Barták, Ondrej Cepek, Pavel Surynek:
Discovering implied constraints in precedence graphs with alternatives. Ann. Oper. Res. 180(1): 233-263 (2010)
[c15]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/Surynek10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Surynek10
Pavel Surynek:
An Optimization Variant of Multi-Robot Path Planning Is Intractable. AAAI 2010

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c14]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/flairs/Surynek09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flairs/Surynek09
Pavel Surynek:
Towards Shorter Solutions for Problems of Path Planning for Multiple Robots in Theta-like Environments. FLAIRS 2009
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/Surynek09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/Surynek09
Pavel Surynek:
A novel approach to path planning for multiple robots in bi-connected graphs. ICRA 2009: 3613-3619
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/Surynek09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/Surynek09
Pavel Surynek:
An Application of Pebble Motion on Graphs to Abstract Multi-robot Path Planning. ICTAI 2009: 151-158
2008
[c11]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/flairs/Surynek08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flairs/Surynek08
Pavel Surynek:
Tractable Class of a Problem of Goal Satisfaction in Mutual Exclusion Network. FLAIRS 2008: 561-566
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/stairs/Surynek08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stairs/Surynek08
Pavel Surynek:
Domain-Dependent View of Multiple Robots Path Planning. STAIRS 2008: 175-186
2007
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/cisched/BartakCS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cisched/BartakCS07
Roman Barták, Ondrej Cepek, Pavel Surynek:
Modelling Alternatives in Temporal Networks. CISched 2007: 129-136
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/csclp/Surynek07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csclp/Surynek07
Pavel Surynek:
A Global Filtration for Satisfying Goals in Mutual Exclusion Networks. CSCLP 2007: 142-157
[c7]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/flairs/SurynekB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flairs/SurynekB07
Pavel Surynek, Roman Barták:
Maintaining Arc-Consistency over Mutex Relations in Planning Graphs during Search. FLAIRS 2007: 134-139
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iicai/SurynekCV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iicai/SurynekCV07
Pavel Surynek, Lukás Chrpa, Jirí Vyskocil:
Solving Difficult Problems by Viewing them as Structured Dense Graphs. IICAI 2007: 84-103
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sara/Surynek07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sara/Surynek07
Pavel Surynek:
Solving Difficult SAT Instances Using Greedy Clique Decomposition. SARA 2007: 359-374
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/wlp/ChrpaSV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/ChrpaSV07
Lukás Chrpa, Pavel Surynek, Jirí Vyskocil:
Encoding of Planning Problems and Their Optimizations in Linear Logic. INAP/WLP 2007: 54-68
2005