Minimizing the Number of Successor States in the Stubborn Set Method

Research output: Contribution to journalArticleScientificpeer-review

Researchers

  • Kimmo Varpaaniemi

Research units

Details

Original languageEnglish
Pages (from-to)215-234
JournalFundamenta Informaticae
Volume51
Issue number1-2
Publication statusPublished - 2002
MoE publication typeA1 Journal article-refereed

    Research areas

  • and/or-graphs, CFFD-equivalence, CSP-equivalence, LTSs, stubborn sets

ID: 3583686