DMCA
Take it NP-easy: Bounded Model Construction for Duration Calculus (2002)
by
Martin Fränzle
| Citations: | 8 - 2 self |
BibTeX
@MISC{Fränzle02takeit,
author = {Martin Fränzle},
title = {Take it NP-easy: Bounded Model Construction for Duration Calculus},
year = {2002}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Following the recent successes of bounded model-checking, we reconsider the problem of constructing models of discrete-time Duration Calculus formulae. While this problem is known to be non-elementary when arbitrary length models are considered [Han94], it turns out to be only NP-complete when constrained to bounded length.
