| Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure M Fränzle, C Herde, T Teige, S Ratschan, T Schubert Journal on Satisfiability, Boolean Modeling and Computation 1 (3-4), 209-236, 2006 | 463 | 2006 |
| HySAT: An efficient proof engine for bounded model checking of hybrid systems M Fränzle, C Herde Formal Methods in System Design 30, 179-198, 2007 | 178 | 2007 |
| SAT modulo ODE: A direct SAT approach to hybrid systems A Eggers, M Fränzle, C Herde Automated Technology for Verification and Analysis: 6th International …, 2008 | 96 | 2008 |
| Rtsat--an optimal and efficient approach to the task allocation problem in distributed architectures A Metzner, C Herde 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06), 147-158, 2006 | 73 | 2006 |
| Efficient proof engines for bounded model checking of hybrid systems M Fränzle, C Herde Electronic Notes in Theoretical Computer Science 133, 119-137, 2005 | 61 | 2005 |
| Analysis of hybrid systems using HySAT C Herde, A Eggers, M Fränzle, T Teige Third International Conference on Systems (icons 2008), 196-201, 2008 | 51 | 2008 |
| Scheduling distributed real-time systems by satisfiability checking A Metzner, M Franzle, C Herde, I Stierand 11th IEEE International Conference on Embedded and Real-Time Computing …, 2005 | 33 | 2005 |
| Efficient SAT engines for concise logics: Accelerating proof search for zero-one linear constraint systems M Fränzle, C Herde Logic for Programming, Artificial Intelligence, and Reasoning: 10th …, 2003 | 22 | 2003 |
| Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure C Herde, M Fränzle Springer Fachmedien, 2011 | 21 | 2011 |
| Parallel SAT solving in bounded model checking E Ábrahám, T Schubert, B Becker, M Fränzle, C Herde International Workshop on Parallel and Distributed Methods in Verification …, 2006 | 18 | 2006 |
| Parallel SAT solving in bounded model checking E Abrahám, T Schubert, B Becker, M Fränzle, C Herde Journal of Logic and Computation 21 (1), 5-21, 2011 | 12 | 2011 |
| Application of constraint solving and ODE-enclosure methods to the analysis of hybrid systems A Eggers, M Fränzle, C Herde Numerical analysis and applied mathematics 1168, 1326-1330, 2009 | 11 | 2009 |
| Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. B Becker, M Behle, F Eisenbrand, M Fränzle, M Herbstritt, C Herde, ... MBMV, 65-75, 2004 | 11 | 2004 |
| An optimal approach to the task allocation problem on hierarchical architectures A Metzner, M Franzle, C Herde, I Stierand Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006 | 9 | 2006 |
| Interval constraint solving using propositional SAT solving techniques M Fränzle, C Herde, S Ratschan, T Schubert, T Teige Proceedings of the CP 2006 First International Workshop on the Integration …, 2006 | 7 | 2006 |
| A generalized two-watched-literal scheme in a mixed Boolean and non-linear arithmetic constraint solver T Teige, C Herde, M Fränzle, N Kalinnik, A Eggers Proceedings of the 13th Portuguese Conference on Artificial Intelligence …, 2007 | 4 | 2007 |
| Extending DPLL for Pseudo-Boolean constraints C Herde Efficient Solving of Large Arithmetic Constraint Systems with Complex …, 2011 | 2 | 2011 |
| On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata M Herbstritt, B Becker, E Abrahám, C Herde 2007 IEEE Design and Diagnostics of Electronic Circuits and Systems, 1-6, 2007 | 1 | 2007 |
| Integration of DPLL and Interval Constraint Solving C Herde Efficient Solving of Large Arithmetic Constraint Systems with Complex …, 2011 | | 2011 |
| Integration of DPLL-SAT and Linear Programming C Herde Efficient Solving of Large Arithmetic Constraint Systems with Complex …, 2011 | | 2011 |
