Searching for authors named Stephan Schulz – sorted by Relevance.
39 documents found, showing 1 through 10.
Next 10 →
-
E 0.5x User Manual
- …E 0.5x User Manual --preliminary version-- Stephan Schulz July 21, 1999 Abstract E…
- Add To MetaCart
-
E 0.8x User Manual
- …E 0.8x User Manual --preliminary version-- Stephan Schulz April 7, 2004 Abstract E…
- Add To MetaCart
-
Simple and Efficient Clause Subsumption with Feature Vector Indexing
- … Indexing Abstract Stephan Schulz 1 ITC/irst, Trento, Italy and Technische Universität München, Germany We…
- Cited by 4 (2 self) – Add To MetaCart
-
A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae
- …A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae Stephan Schulz…
- Cited by 4 (0 self) – Add To MetaCart
-
Term Space Mapping for DISCOUNT
- …Term Space Mapping for DISCOUNT Stephan Schulz Institut fur Informatik Technische Universitat…
- Cited by 1 (1 self) – Add To MetaCart
-
Information-Based Selection of Abstraction Levels
- …Information-Based Selection of Abstraction Levels Stephan Schulz Institut fur Informatik…
- Cited by 2 (1 self) – Add To MetaCart
-
E - A Brainiac Theorem Prover
- …1 E { A Brainiac Theorem Prover Stephan Schulz Institut fur Informatik Technische Universitat M…
- Cited by 65 (12 self) – Add To MetaCart
-
Learning Search Control Knowledge for Equational Theorem Proving
- …Learning Search Control Knowledge for Equational Theorem Proving Stephan Schulz Institut f…
- Cited by 15 (4 self) – Add To MetaCart
-
Combining Propositional Logic with Maximum Entropy Reasoning on Probability Models
- … 1 and Stephan Schulz 2 Abstract. We present a system for non-monotonic reasoning based…
- Add To MetaCart
-
Analysis and Representation of Equational Proofs Generated by a Distributed Completion Based Proof System
- … System Jorg Denzinger, Stephan Schulz fdenzinge, s schulzg@(email omitted); SEKI Report SR-95…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
