11 citations · 11 across the 3 of their papers we have counts for
3 papers
math.CO2012
Implementation of a Unimodularity Test
Matthias Walter, Klaus Truemper
This paper describes implementation and computational results of a polynomial test of total unimodularity. The test is a simplified version of a prior method. The program also deci…
q-bio.QM2008★ 11 cited
Logic Integer Programming Models for Signaling Networks
Utz-Uwe Haus, Kathrin Niermann, Klaus Truemper +1
We propose a static and a dynamic approach to model biological signaling networks, and show how each can be used to answer relevant biological questions. For this we use the two di…
cs.LO2003
Learning in a Compiler for MINSAT Algorithms
Anja Remshagen, Klaus Truemper
This paper describes learning in a compiler for algorithms solving classes of the logic minimization problem MINSAT, where the underlying propositional formula is in conjunctive no…