8 search results - page 1 / 2 » On Variable Selection in SAT-LP-based Bounded Model Checking... |
DDECS
2007
IEEE
13 years 11 months ago
2007
IEEE
ENTCS
2007
13 years 4 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
STACS
2007
Springer
13 years 11 months ago
2007
Springer
Hybrid logics extend modal logics by first-order concepts, in particular they allow a limited use of variables. Unfortunately, in general, satisfiability for hybrid formulas is u...
IANDC
2008
13 years 4 months ago
2008
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appe...