Klaus Truemper Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnja Remshagen, Klaus Truemper: An Alternative Representation for QBF. IC-AI 2009: 531-536
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Truemper: Improved Comprehensibility and Reliability of Explanations via Restricted Halfspace Discretization. MLDM 2009: 1-15
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKatherine Moreland, Klaus Truemper: Discretization of Target Attributes for Subgroup Discovery. MLDM 2009: 44-52
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKatherine Moreland, Klaus Truemper: The Needles-in-Haystack Problem. MLDM 2009: 516-524
2007
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnja Remshagen, Klaus Truemper: The Complexity of Futile Questioning. FCS 2007: 132-138
2005
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnja Remshagen, Klaus Truemper: An Effective Algorithm for the Futile Questioning Problem. J. Autom. Reasoning 34(1): 31-47 (2005)
2004
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCharles Otwell, Anja Remshagen, Klaus Truemper: An Effective QBF Solver for Planning Problems. MSV/AMCS 2004: 311-316
2003
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnja Remshagen, Klaus Truemper: Learning in a Compiler for MINSAT Algorithms CoRR cs.LO/0312032: (2003)
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnja Remshagen, Klaus Truemper: Learning in a Compiler for MINSAT Algorithms. TPLP 3(3): 271-286 (2003)
2002
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Felici, Klaus Truemper: A MINSAT Approach for Learning in Logic Domains. INFORMS Journal on Computing 14(1): 20-36 (2002)
1999
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Felici, Fushing Sun, Klaus Truemper: A Method for Controlling Errors in Two-Class Classification. COMPSAC 1999: 186-191
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLY. Zhao, Klaus Truemper: Effective Spell Checking by Learning User Behavior. Applied Artificial Intelligence 13(8): 725-742 (1999)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJanell Straach, Klaus Truemper: Learning to Ask Relevant Questions. Artif. Intell. 111(1-2): 301-327 (1999)
1998
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul D. Seymour, Klaus Truemper: A Petersen on a Pentagon. J. Comb. Theory, Ser. B 72(1): 63-79 (1998)
1996
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Felici, Giovanni Rinaldi, Klaus Truemper: FasTraC: A Decentralized Traffic Control System Based on Logic Programming. CADE 1996: 216-220
1992
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Truemper: A decomposition theory for matroids. VI. Almost regular matroids. J. Comb. Theory, Ser. B 55(2): 253-301 (1992)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Truemper: A decomposition theory for matroids. VII. Analysis of minimal violation matrices. J. Comb. Theory, Ser. B 55(2): 302-335 (1992)
1990
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Truemper: A decomposition theory for matroids. V. Testing of matrix total unimodularity. J. Comb. Theory, Ser. B 49(2): 241-281 (1990)
1989
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Grötschel, Klaus Truemper: Decomposition and optimization over cycles in binary matroids. J. Comb. Theory, Ser. B 46(3): 306-337 (1989)
1988
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Truemper: A decomposition theory for matroids IV. Decomposition of graphs. J. Comb. Theory, Ser. B 45(3): 259-292 (1988)
1986
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Truemper: A decomposition theory for matroids III. Decomposition conditions. J. Comb. Theory, Ser. B 41(3): 275-305 (1986)
1985
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Truemper: A decomposition theory for matroids. I. General results. J. Comb. Theory, Ser. B 39(1): 43-76 (1985)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Truemper: A decomposition theory for matroids. II. Minimal violation matroids. J. Comb. Theory, Ser. B 39(3): 282-297 (1985)
1982
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Truemper: Alpha-balanced graphs and matrices and GF(3)-representability of matroids. J. Comb. Theory, Ser. B 32(2): 112-139 (1982)

Coauthor Index

1Giovanni Felici [10] [14] [15]
2Martin Grötschel [6]
3Katherine Moreland [21] [22]
4Charles Otwell [18]
5Anja Remshagen [16] [17] [18] [19] [20] [24]
6Giovanni Rinaldi [10]
7Paul D. Seymour [11]
8Janell Straach [12]
9Fushing Sun [14]
10Y. Zhao [13]

Colors in the list of coauthors

Copyright © Thu Nov 26 17:33:31 2009 by Michael Ley (ley@uni-trier.de)