Searching for authors named "Volker Sorge" – sorted by Relevance.
56 documents found, showing 1 through 10.
Next 10 →
-
Non-trivial Symbolic Computations in Proof Planning
- …Non-trivial Symbolic Computations in Proof Planning Volker Sorge Universitat des Saarlandes…
- Cited by 6 (3 self) – Add To MetaCart
-
PDS -- A Three-Dimensional Data Structure for Proof Plans
- …PDS --- A Three-Dimensional Data Structure for Proof Plans Lassaad Cheikhrouhou and Volker Sorge…
- Cited by 21 (8 self) – Add To MetaCart
-
Ω-ANTS -- An open approach at combining Interactive and Automated Theorem Proving
- …uller and Volker Sorge (C.E.Benzmuller@(email omitted);, sorge@(email omitted);) School of Computer Science…
- Cited by 29 (20 self) – Add To MetaCart
-
Integrating Tps with mega
- …Integrating Tps with mega Christoph Benzmuller Volker Sorge Fachbereich Informatik, Universitat…
- Cited by 4 (4 self) – Add To MetaCart
-
Exploring Properties of Residue Classes
- …Exploring Properties of Residue Classes Andreas Meier and Volker Sorge Fachbereich Informatik…
- Cited by 19 (12 self) – Add To MetaCart
-
Towards Fine-Grained Proof Planning with Critical Agents
- …Towards Fine-Grained Proof Planning with Critical Agents Christoph Benzmuller and Volker Sorge…
- Cited by 2 (1 self) – Add To MetaCart
-
Specialized External Reasoners in Proof Planning
- … in Proof Planning Erica Melis and Volker Sorge fmelisjsorgeg@(email omitted); http…
- Cited by 1 (1 self) – Add To MetaCart
-
Integrating TPS with ΩMEGA
- …Integrating Tps with\Omega mega Christoph Benzmuller Volker Sorge Fachbereich Informatik…
- Cited by 1 (1 self) – Add To MetaCart
-
Processing textbook-style matrices
- …Processing Textbook-style Matrices Alan Sexton and Volker Sorge School of Computer Science…
- Cited by 5 (2 self) – Add To MetaCart
-
A new set of algebraic benchmark problems for sat solvers
- …A New Set of Algebraic Benchmark Problems for SAT Solvers Abstract Andreas Meier 1 and Volker…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
