SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
scientific article; zbMATH DE number 5003885
scientific article