Searching for authors named "Andreas Meier" – sorted by Relevance.
49 documents found, showing 1 through 10.
Next 10 →
-
Randomization and Heavy-Tailed Behavior in Proof Planning
- … and Heavy-Tailed Behavior in Proof Planning Andreas Meier SEKI Report SR-00-03 Acknowledgment All…
- Cited by 5 (4 self) – Add To MetaCart
-
System Description: TRAMP - Transformation of Machine-Found Proofs into Natural Deduction Proofs at the Assertion Level
- … at the Assertion Level Andreas Meier Fachbereich Informatik, Universitat des Saarlandes, 66041 Saarbr…
- Cited by 7 (0 self) – Add To MetaCart
-
Transformation of Machine-Found Proofs into Assertion . . .
- … the complete report in a few weeks. Andreas Meier Saarbrucken, February 9, 2000 Draft 9/2/2000 2 Draft 9…
- Cited by 2 (1 self) – Add To MetaCart
-
Research Papers Proof Planning in Ωmega with Semantic Guidance
- … and Andreas Meier CSRP-01-11 December 2001 School of Computer Science and Cognitive Science Research Centre…
- Add To MetaCart
-
Proof Planning in OMEGA with Semantic Guidance
- … and Andreas Meier CSRP-01-11 December 2001 School of Computer Science and Cognitive Science Research Centre…
- Add To MetaCart
-
Semantically Guided OMEGA Proof Planner
- … and Andreas Meier CSRP-01-11 December 2001 School of Computer Science and Cognitive Science Research Centre…
- Add To MetaCart
-
Failure reasoning in multiple-strategy proof planning
- …Failure Reasoning in Multiple-Strategy Proof Planning Andreas Meier Erica Melis German Research…
- Cited by 2 (2 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
-
Proof Planning with Multiple Strategies II
- …Proof Planning with Multiple Strategies II Erica Melis and Andreas Meier Universitat des…
- Cited by 4 (3 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 →
