Klaus Truemper

Publication Activity (10 Years)

Years Active: 1976-2013
Publications (10 Years): 0

Top Topics

Linear Complementarity Problem

Implementation Details

Statistical Significance

Top Venues

Math. Program. Comput.

Publications

Matthias Walter, Klaus Truemper
Implementation of a unimodularity test. Math. Program. Comput. 5 (1) (2013)
Matthias Walter, Klaus Truemper
Implementation of a Unimodularity Test CoRR (2012)
Anja Remshagen, Klaus Truemper
An Alternative Representation for QBF. IC-AI (2009)
Katherine Moreland, Klaus Truemper
Discretization of Target Attributes for Subgroup Discovery. MLDM (2009)
Katherine Moreland, Klaus Truemper
The Needles-in-Haystack Problem. MLDM (2009)
Utz-Uwe Haus, Kathrin Niermann, Klaus Truemper, Robert Weismantel
Logic Integer Programming Models for Signaling Networks. J. Comput. Biol. 16 (5) (2009)
Utz-Uwe Haus, Klaus Truemper, Robert Weismantel
Linear Satisfiability Algorithm for 3CNF Formulas of Certain Signaling Networks. J. Satisf. Boolean Model. Comput. 6 (1-3) (2009)
Klaus Truemper
Improved Comprehensibility and Reliability of Explanations via Restricted Halfspace Discretization. MLDM (2009)
Anja Remshagen, Klaus Truemper
The Complexity of Futile Questioning. FCS (2007)
Anja Remshagen, Klaus Truemper
An Effective Algorithm for the Futile Questioning Problem. J. Autom. Reason. 34 (1) (2005)
Charles Otwell, Anja Remshagen, Klaus Truemper
An Effective QBF Solver for Planning Problems. MSV/AMCS (2004)
Anja Remshagen, Klaus Truemper
Learning in a Compiler for MINSAT Algorithms CoRR (2003)
Anja Remshagen, Klaus Truemper
Learning in a Compiler for MINSAT Algorithms. Theory Pract. Log. Program. 3 (3) (2003)
Giovanni Felici, Klaus Truemper
A MINSAT Approach for Learning in Logic Domains. INFORMS J. Comput. 14 (1) (2002)
Paola Di Giacomo, Giovanni Felici, Riccardo Maceratini, Klaus Truemper
Application of a New Logic Domain Method for the Diagnosis of Hepatocellular Carcinoma. MedInfo (2001)
Giovanni Felici, Fushing Sun, Klaus Truemper
A Method for Controlling Errors in Two-Class Classification. COMPSAC (1999)
Janell Straach, Klaus Truemper
Learning to Ask Relevant Questions. Artif. Intell. 111 (1-2) (1999)
Y. Zhao, Klaus Truemper
Effective Spell Checking by Learning User Behavior. Appl. Artif. Intell. 13 (8) (1999)
Paul D. Seymour, Klaus Truemper
A Petersen on a Pentagon. J. Comb. Theory, Ser. B 72 (1) (1998)
Giovanni Felici, Giovanni Rinaldi, Klaus Truemper
FasTraC: A Decentralized Traffic Control System Based on Logic Programming. CADE (1996)
Michele Conforti, Gérard Cornuéjols, Klaus Truemper
From Totally Unimodular to Balanced 0, ±1 Matrices: A Family of Integer Polytopes. Math. Oper. Res. 19 (1) (1994)
Klaus Truemper
A decomposition theory for matroids. VII. Analysis of minimal violation matrices. J. Comb. Theory, Ser. B 55 (2) (1992)
Klaus Truemper
A decomposition theory for matroids. VI. Almost regular matroids. J. Comb. Theory, Ser. B 55 (2) (1992)
Klaus Truemper
A decomposition theory for matroids. V. Testing of matrix total unimodularity. J. Comb. Theory, Ser. B 49 (2) (1990)
Klaus Truemper
On the delta-wye reduction for planar graphs. J. Graph Theory 13 (2) (1989)
Martin Grötschel, Klaus Truemper
Decomposition and optimization over cycles in binary matroids. J. Comb. Theory, Ser. B 46 (3) (1989)
Klaus Truemper
A decomposition theory for matroids IV. Decomposition of graphs. J. Comb. Theory, Ser. B 45 (3) (1988)
F. T. Tseng, Klaus Truemper
Addendum. Discret. Appl. Math. 20 (1) (1988)
Klaus Truemper
Max-Flow Min-Cut Matroids: Polynomial Testing and Polynomial Algorithms for Maximum Flow and Shortest Routes. Math. Oper. Res. 12 (1) (1987)
Klaus Truemper
On matroid separations of graphs. J. Graph Theory 11 (4) (1987)
F. T. Tseng, Klaus Truemper
A decomposition of the matroids with the max-flow min-cut property. Discret. Appl. Math. 15 (2-3) (1986)
Klaus Truemper
A decomposition theory for matroids III. Decomposition conditions. J. Comb. Theory, Ser. B 41 (3) (1986)
Klaus Truemper
A decomposition theory for matroids. I. General results. J. Comb. Theory, Ser. B 39 (1) (1985)
Klaus Truemper
A decomposition theory for matroids. II. Minimal violation matroids. J. Comb. Theory, Ser. B 39 (3) (1985)
Klaus Truemper
Partial Matroid Representations. Eur. J. Comb. 5 (4) (1984)
Klaus Truemper
(3)-representability of matroids. J. Comb. Theory, Ser. B 32 (2) (1982)
Klaus Truemper
On the Efficiency of Representability Tests for Matroids. Eur. J. Comb. 3 (3) (1982)
Jean François Maurras, Klaus Truemper, M. Akgül
Polynomial algorithms for a class of linear programs. Math. Program. 21 (1) (1981)
Klaus Truemper
On Whitney's 2-isomorphism theorem for graphs. J. Graph Theory 4 (1) (1980)
Klaus Truemper
Optimal flows in nonlinear gain networks. Networks 8 (1) (1978)
Klaus Truemper
Unimodular matrices of flow problems with additional constraints. Networks 7 (4) (1977)
Klaus Truemper
An efficient scaling procedure for gain networks. Networks 6 (2) (1976)