13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings Ofer Strichman, Stefan Szeider ... The table shows that except for one instance, the minimisation problem was always solved quickly. Thus, our ... Kupferman, O., Morgenstern, G., Murano, A.: Typeness for omega-regular au- tomata.
|Title||:||Theory and Applications of Satisfiability Testing - SAT 2010|
|Author||:||Ofer Strichman, Stefan Szeider|
|Publisher||:||Springer - 2010-07-09|