Christian Herde

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure1

Martin Fränzle, Christian Herde, Tino Teige et al. · Journal on Satisfiability Boolean Modeling and Computation · 2007 · 313 citations · Full text

Computing, Computer Science, Mathematics +10

HySAT: An efficient proof engine for bounded model checking of hybrid systems

Martin Fränzle, Christian Herde · Formal Methods in System Design · 2006 · 109 citations

Computing, Computer Engineering, Computer Science +12

RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures

Alexander Metzner, Christian Herde · 2006 · 55 citations

Computing, Computer Engineering, Computer Science +17

Efficient Proof Engines for Bounded Model Checking of Hybrid Systems

Martin Fränzle, Christian Herde · Electronic Notes in Theoretical Computer Science · 2005 · 43 citations · Full text

Computing, Computer Science, Algorithms +12

Analysis of Hybrid Systems Using HySAT

Christian Herde, Andreas Eggers, Martin Fr et al. · 2008 · 36 citations

Engineering, Computer Engineering, Computer Science +17