Sign in

Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction.

Parosh Aziz AbdullaStavros AronisBengt JonssonKonstantinos Sagonas
Published in: J. ACM (2017)
Keyphrases
  • partial order reduction
  • dynamic programming
  • dynamic environments
  • image sequences
  • optimal solution
  • model checking
  • finding optimal
  • databases
  • information systems
  • search algorithm
  • worst case
  • petri net