3 search results - page 1 / 1 » SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems |
60
Voted
ATVA
2008
Springer
15 years 3 days ago
2008
Springer
EC
2008
14 years 10 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 12 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...