Login / Signup

Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition.

Joseph Boudou
Published in: IJCAR (2016)
Keyphrases
  • worst case
  • propositional dynamic logic
  • decision problems
  • parallel processing
  • decision making
  • computational complexity
  • parallel implementation
  • massively parallel
  • dynamic programming
  • parallel processors