The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Christian B. Suttner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Christian B. Suttner, Wolfgang Ertel
    Automatic Acquisition of Search Guiding Heuristics. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:470-484 [Conf]
  2. Christian B. Suttner, Geoff Sutcliffe
    The Design of the CADE-13 ATP System Competition. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:146-160 [Conf]
  3. Geoff Sutcliffe, Christian B. Suttner
    The CADE-19 ATP System Competition. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:295-296 [Conf]
  4. Geoff Sutcliffe, Christian B. Suttner
    The CADE ATP System Competition. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:490-491 [Conf]
  5. Geoff Sutcliffe, Christian B. Suttner, Theodor Yemenis
    The TPTP Problem Library. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:252-266 [Conf]
  6. Wolfgang Ertel, Christian B. Suttner
    Project PARIS: Parallelisation of Inference Systems. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:363- [Conf]
  7. Christian B. Suttner
    A Parallel Theorem Prover with Heuristic Work Distribution. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:243-252 [Conf]
  8. Eike Jessen, Wolfgang Ertel, Christian B. Suttner
    Optimal Multiprogramming Control for Parallel Computations. [Citation Graph (0, 0)][DBLP]
    Parallel Computer Architectures, 1993, pp:49-65 [Conf]
  9. Christian B. Suttner
    Representing Heuristic-Relevant Information for an Automated Theorem Prover. [Citation Graph (0, 0)][DBLP]
    IMYCS, 1990, pp:261-270 [Conf]
  10. Christian B. Suttner
    Parallel Computation of Multiple Sets-of_Support. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:238-249 [Conf]
  11. Wolfgang Ertel, Johann Schumann, Christian B. Suttner
    Learning Heuristics for a Theorem Prover Using Back Propagation. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1989, pp:87-95 [Conf]
  12. Christian B. Suttner
    SPTHEO - A PVM-Based Parallel Theorem Prover. [Citation Graph (0, 0)][DBLP]
    PVM, 1996, pp:116-125 [Conf]
  13. Geoff Sutcliffe, Christian B. Suttner
    Evaluating general purpose automated theorem proving systems. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2001, v:131, n:1-2, pp:39-54 [Journal]
  14. Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner
    The development of CASC. [Citation Graph (0, 0)][DBLP]
    AI Commun., 2002, v:15, n:2-3, pp:79-90 [Journal]
  15. Geoff Sutcliffe, Christian B. Suttner
    The CADE-19 ATP System Competition. [Citation Graph (0, 0)][DBLP]
    AI Commun., 2004, v:17, n:3, pp:103-110 [Journal]
  16. Geoff Sutcliffe, Christian B. Suttner
    The state of CASC. [Citation Graph (0, 0)][DBLP]
    AI Commun., 2006, v:19, n:1, pp:35-48 [Journal]
  17. Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner
    Conclusions about the CADE-13 ATP System Competition. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1997, v:18, n:2, pp:287-296 [Journal]
  18. Geoff Sutcliffe, Christian B. Suttner
    The CADE-18 ATP System Competition. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2003, v:31, n:1, pp:23-32 [Journal]
  19. Geoff Sutcliffe, Christian B. Suttner
    The CADE-13 ATP System Competition. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1997, v:18, n:2, pp:137-138 [Journal]
  20. Geoff Sutcliffe, Christian B. Suttner
    The Design of the CADE-13 ATP System Competition. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1997, v:18, n:2, pp:139-162 [Journal]
  21. Geoff Sutcliffe, Christian B. Suttner
    The Procedures of the CADE-13 ATP System Competition. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1997, v:18, n:2, pp:163-169 [Journal]
  22. Geoff Sutcliffe, Christian B. Suttner
    The Results - of the CADE-13 ATP System Competition. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1997, v:18, n:2, pp:271-286 [Journal]
  23. Geoff Sutcliffe, Christian B. Suttner
    The TPTP Problem Library - CNF Release v1.2.1. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1998, v:21, n:2, pp:177-203 [Journal]
  24. Geoff Sutcliffe, Christian B. Suttner
    The CADE-15 ATP System Competition. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1999, v:23, n:1, pp:1-23 [Journal]
  25. Geoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier
    The IJCAR ATP System Competition. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2002, v:28, n:3, pp:307-320 [Journal]
  26. Christian B. Suttner
    SPTHEO - A Parallel Theorem Prover. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1997, v:18, n:2, pp:253-258 [Journal]
  27. Christian B. Suttner
    SPS-Parallelism + SETHEO = SPTHEO. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1999, v:22, n:4, pp:397-431 [Journal]
  28. Christian B. Suttner, Geoff Sutcliffe
    The CADE-14 ATP System Competition. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1998, v:21, n:1, pp:99-134 [Journal]

Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002