SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems | 28 | 1.20 | 2008 |
Analysis of Hybrid Systems Using HySAT | 15 | 0.82 | 2008 |
Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure | 150 | 5.86 | 2007 |
HySAT: An efficient proof engine for bounded model checking of hybrid systems | 65 | 2.33 | 2007 |
An optimal approach to the task allocation problem on hierarchical architectures | 3 | 0.43 | 2006 |
RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures | 35 | 1.38 | 2006 |
Parallel SAT solving in bounded model checking | 6 | 0.47 | 2006 |
Efficient Proof Engines for Bounded Model Checking of Hybrid Systems | 24 | 1.45 | 2005 |
Bounded Model Checking and Inductive Verication of Hybrid Discrete-continuous Systems | 3 | 0.44 | 2004 |
Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems | 9 | 0.80 | 2003 |