Klaus Truemper

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