Klaus Truemper

Matthias Walter, Klaus Truemper: Implementation of a unimodularity test. Math. Program. Comput. 5(1): 57-73 (2013)

Matthias Walter, Klaus Truemper: Implementation of a Unimodularity Test. CoRR abs/1202.4061 (2012)

Utz-Uwe Haus, Kathrin Niermann, Klaus Truemper, Robert Weismantel: Logic Integer Programming Models for Signaling Networks. Journal of Computational Biology 16(5): 725-743 (2009)

Utz-Uwe Haus, Klaus Truemper, Robert Weismantel: Linear Satisfiability Algorithm for 3CNF Formulas of Certain Signaling Networks. JSAT 6(1-3): 13-32 (2009)

Anja Remshagen, Klaus Truemper: An Alternative Representation for QBF. IC-AI 2009: 531-536

Klaus Truemper: Improved Comprehensibility and Reliability of Explanations via Restricted Halfspace Discretization. MLDM 2009: 1-15

Katherine Moreland, Klaus Truemper: Discretization of Target Attributes for Subgroup Discovery. MLDM 2009: 44-52

Katherine Moreland, Klaus Truemper: The Needles-in-Haystack Problem. MLDM 2009: 516-524

Anja Remshagen, Klaus Truemper: The Complexity of Futile Questioning. FCS 2007: 132-138

Anja Remshagen, Klaus Truemper: An Effective Algorithm for the Futile Questioning Problem. J. Autom. Reasoning 34(1): 31-47 (2005)

Charles Otwell, Anja Remshagen, Klaus Truemper: An Effective QBF Solver for Planning Problems. MSV/AMCS 2004: 311-316

Anja Remshagen, Klaus Truemper: Learning in a Compiler for MINSAT Algorithms. TPLP 3(3): 271-286 (2003)

Anja Remshagen, Klaus Truemper: Learning in a Compiler for MINSAT Algorithms. CoRR cs.LO/0312032 (2003)

Giovanni Felici, Klaus Truemper: A MINSAT Approach for Learning in Logic Domains. INFORMS Journal on Computing 14(1): 20-36 (2002)

Y. Zhao, Klaus Truemper: Effective Spell Checking by Learning User Behavior. Applied Artificial Intelligence 13(8): 725-742 (1999)

Janell Straach, Klaus Truemper: Learning to Ask Relevant Questions. Artif. Intell. 111(1-2): 301-327 (1999)

Giovanni Felici, Fushing Sun, Klaus Truemper: A Method for Controlling Errors in Two-Class Classification. COMPSAC 1999: 186-191

Paul D. Seymour, Klaus Truemper: A Petersen on a Pentagon. J. Comb. Theory, Ser. B 72(1): 63-79 (1998)

Giovanni Felici, Giovanni Rinaldi, Klaus Truemper: FasTraC: A Decentralized Traffic Control System Based on Logic Programming. CADE 1996: 216-220

Klaus Truemper: Matroid decomposition. Academic Press 1992, isbn 978-0-12-701225-4, pp. I-X, 1-398

Klaus Truemper: A decomposition theory for matroids. VI. Almost regular matroids. J. Comb. Theory, Ser. B 55(2): 253-301 (1992)

Klaus Truemper: A decomposition theory for matroids. VII. Analysis of minimal violation matrices. J. Comb. Theory, Ser. B 55(2): 302-335 (1992)

Klaus Truemper: A decomposition theory for matroids. V. Testing of matrix total unimodularity. J. Comb. Theory, Ser. B 49(2): 241-281 (1990)

Martin Grötschel, Klaus Truemper: Decomposition and optimization over cycles in binary matroids. J. Comb. Theory, Ser. B 46(3): 306-337 (1989)

Klaus Truemper: A decomposition theory for matroids IV. Decomposition of graphs. J. Comb. Theory, Ser. B 45(3): 259-292 (1988)

Klaus Truemper: A decomposition theory for matroids III. Decomposition conditions. J. Comb. Theory, Ser. B 41(3): 275-305 (1986)

Klaus Truemper: A decomposition theory for matroids. I. General results. J. Comb. Theory, Ser. B 39(1): 43-76 (1985)

Klaus Truemper: A decomposition theory for matroids. II. Minimal violation matroids. J. Comb. Theory, Ser. B 39(3): 282-297 (1985)

Klaus Truemper: Alpha-balanced graphs and matrices and GF(3)-representability of matroids. J. Comb. Theory, Ser. B 32(2): 112-139 (1982)

Klaus Truemper: Optimal flows in nonlinear gain networks. Networks 8(1): 17-36 (1978)