| 2007 |
|---|
| 20 | | Anja Remshagen,
Klaus Truemper:
The Complexity of Futile Questioning.
FCS 2007: 132-138 |
| 2005 |
|---|
| 19 | EE | Anja Remshagen,
Klaus Truemper:
An Effective Algorithm for the Futile Questioning Problem.
J. Autom. Reasoning 34(1): 31-47 (2005) |
| 2004 |
|---|
| 18 | | Charles Otwell,
Anja Remshagen,
Klaus Truemper:
An Effective QBF Solver for Planning Problems.
MSV/AMCS 2004: 311-316 |
| 2003 |
|---|
| 17 | EE | Anja Remshagen,
Klaus Truemper:
Learning in a Compiler for MINSAT Algorithms
CoRR cs.LO/0312032: (2003) |
| 16 | | Anja Remshagen,
Klaus Truemper:
Learning in a Compiler for MINSAT Algorithms.
TPLP 3(3): 271-286 (2003) |
| 2002 |
|---|
| 15 | EE | Giovanni Felici,
Klaus Truemper:
A MINSAT Approach for Learning in Logic Domains.
INFORMS Journal on Computing 14(1): 20-36 (2002) |
| 1999 |
|---|
| 14 | EE | Giovanni Felici,
Fushing Sun,
Klaus Truemper:
A Method for Controlling Errors in Two-Class Classification.
COMPSAC 1999: 186-191 |
| 13 | EE | Y. Zhao,
Klaus Truemper:
Effective Spell Checking by Learning User Behavior.
Applied Artificial Intelligence 13(8): 725-742 (1999) |
| 12 | EE | Janell Straach,
Klaus Truemper:
Learning to Ask Relevant Questions.
Artif. Intell. 111(1-2): 301-327 (1999) |
| 1998 |
|---|
| 11 | EE | Paul D. Seymour,
Klaus Truemper:
A Petersen on a Pentagon.
J. Comb. Theory, Ser. B 72(1): 63-79 (1998) |
| 1996 |
|---|
| 10 | | Giovanni Felici,
Giovanni Rinaldi,
Klaus Truemper:
FasTraC: A Decentralized Traffic Control System Based on Logic Programming.
CADE 1996: 216-220 |
| 1992 |
|---|
| 9 | EE | Klaus Truemper:
A decomposition theory for matroids. VI. Almost regular matroids.
J. Comb. Theory, Ser. B 55(2): 253-301 (1992) |
| 8 | EE | Klaus Truemper:
A decomposition theory for matroids. VII. Analysis of minimal violation matrices.
J. Comb. Theory, Ser. B 55(2): 302-335 (1992) |
| 1990 |
|---|
| 7 | EE | Klaus Truemper:
A decomposition theory for matroids. V. Testing of matrix total unimodularity.
J. Comb. Theory, Ser. B 49(2): 241-281 (1990) |
| 1989 |
|---|
| 6 | EE | Martin Grötschel,
Klaus Truemper:
Decomposition and optimization over cycles in binary matroids.
J. Comb. Theory, Ser. B 46(3): 306-337 (1989) |
| 1988 |
|---|
| 5 | EE | Klaus Truemper:
A decomposition theory for matroids IV. Decomposition of graphs.
J. Comb. Theory, Ser. B 45(3): 259-292 (1988) |
| 1986 |
|---|
| 4 | EE | Klaus Truemper:
A decomposition theory for matroids III. Decomposition conditions.
J. Comb. Theory, Ser. B 41(3): 275-305 (1986) |
| 1985 |
|---|
| 3 | EE | Klaus Truemper:
A decomposition theory for matroids. I. General results.
J. Comb. Theory, Ser. B 39(1): 43-76 (1985) |
| 2 | EE | Klaus Truemper:
A decomposition theory for matroids. II. Minimal violation matroids.
J. Comb. Theory, Ser. B 39(3): 282-297 (1985) |
| 1982 |
|---|
| 1 | EE | Klaus Truemper:
Alpha-balanced graphs and matrices and GF(3)-representability of matroids.
J. Comb. Theory, Ser. B 32(2): 112-139 (1982) |
