• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

The polynomial time decidability of simulation relations for finite processes: A HORNSAT based approach.

Sandeep K. ShuklaDaniel J. RosenkrantzHarry B. Hunt IIIRichard Edwin Stearns
Published in: Satisfiability Problem: Theory and Applications (1996)
Keyphrases
  • special case
  • finite automata
  • query answering
  • electro mechanical systems
  • database
  • databases
  • neural network
  • worst case
  • mathematical model
  • simulation model
  • finite number
  • simulation environment