Christian Herde

From MaRDI portal
Person:883143

Available identifiers

zbMath Open herde.christianMaRDI QIDQ883143

List of research outcomes





PublicationDate of PublicationType
Parallel SAT solving in bounded model checking2011-02-02Paper
Efficient SAT engines for concise logics: accelerating proof search for zero-one linear constraint systems2010-02-24Paper
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems2008-11-20Paper
https://portal.mardi4nfdi.de/entity/Q54572772008-04-14Paper
HySAT: An efficient proof engine for bounded model checking of hybrid systems2007-05-31Paper

Research outcomes over time

This page was built for person: Christian Herde

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:883143&oldid=5973269"
Powered by MediaWiki