S. K. Shukla, H. B. Hunt III, and D. J. Rosenkrantz, Hornsat, model checking, verification, and games, Research Report TR-95-8, Department of Computer Science, SUNY Albany, 1995. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Complexity of Deciding Behavioural Equivalences and Preorders - Hüttel, Shukla Self-citation (Shukla) (Correct)
No context found.
S. K. Shukla, H. B. Hunt III, and D. J. Rosenkrantz, Hornsat, model checking, verification, and games, Research Report TR-95-8, Department of Computer Science, SUNY Albany, 1995.
The Polynomial Time Decidability of Simulation.. - Shukla.. (1 citation) Self-citation (Shukla Rosenkrantz) (Correct)
....out that we do not need to go through the model checking algorithms to obtain the efficient algorithms for simulation preorders and equivalences. However, since our model checking methodology is also based on efficient reductions to HORNSAT problem we obtain all the advantages described in [SHR96, SHR95] for the algorithms discussed here as well. 2 Although in [HT94] it was proved that all these relations are in NL, which implies that they are in NC, our approach directly produces an NC algorithm for the problem. This result was first announced in [SHRS96] 4 S. K. SHUKLA, D. J. ROSENKRANTZ, ....
S. K. Shukla, H. B. Hunt III, and D. J. Rosenkrantz, Hornsat, model checking, verification, and games, Research Report TR-95-8, Department of Computer Science, SUNY Albany, 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC