ℹ️
🇬🇧
Search
Search for publications relevant for "SAT-based"
SAT-based
Publication
Class
Person
Publication
Programmes
Two Semantics for Step-Parallel Planning: Which One to Choose?
Publication at Faculty of Mathematics and Physics
|
2011
3 people
Abstract
The paper formally describes possible semantics of parallel plans and their features.
Keywords
Semantics
Parallel Planning
People
person
prof. RNDr. Roman Barták Ph.D.
Faculty of Mathematics and Physics, Faculty of Education
person
RNDr. Tomáš Balyo Ph.D.
Faculty of Mathematics and Physics
person
RNDr. Daniel Toropila Ph.D.
Faculty of Mathematics and Physics