Searching for authors named "Andreas Meier" – sorted by Relevance.
-
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

