Satisfiability Modulo ODEs.

Sicun Gao Soonho Kong Edmund M. Clarke

Published in: CoRR (2013)

Keyphrases

ordinary differential equations
satisfiability problem
propositional logic
np complete
phase transition
computational complexity
satisfiability testing
terminological reasoning
genetic algorithm
dynamic systems
sat problem
database
data sets
computational properties