3 search results - page 1 / 1 » SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems |
ATVA
2008
Springer
14 years 8 months ago
2008
Springer
EC
2008
14 years 6 months ago
2008
The development of successful metaheuristic algorithms such as local search for a difficult problems such as satisfiability testing (SAT) is a challenging task. We investigate an ...
CPAIOR
2008
Springer
14 years 8 months ago
2008
Springer
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...