| Revision as of 13:44, 16 December 2009 editBozMo (talk | contribs)Extended confirmed users14,164 editsm Reverted edits by TomCat4680 (talk) to last version by Hipocrite← Previous edit | Revision as of 12:16, 18 December 2009 edit undoCoffee (talk | contribs)Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers48,540 edits Misplaced Pages:Articles for deletion/Stephan Schulz closed as merge to E equational theorem proverNext edit → | ||
| Line 1: | Line 1: | ||
| {{afd-mergeto|E equational theorem prover|Stephan Schulz|18 December 2009}} | |||
| <!-- Please do not remove or change this AfD message until the issue is settled --> | |||
| {{AfDM|page=Stephan Schulz|logdate=2009 December 10|substed=yes}} | |||
| <!-- For administrator use only: {{oldafdfull|page=Stephan Schulz|date=10 December 2009|result='''keep'''}} --> | |||
| {{rescue}} | |||
| <!-- End of AfD message, feel free to edit beyond this point --> | |||
| {{Notability|date=September 2008}} | {{Notability|date=September 2008}} | ||
Revision as of 12:16, 18 December 2009
 | This article was nominated for deletion. The discussion was closed on 18 December 2009 with a consensus to merge the content into the article E equational theorem prover. If you find that such action has not been taken promptly, please consider assisting in the merger instead of re-nominating the article for deletion. To discuss the merger, please use the destination article's talk page. (December 2009) |
 | The topic of this article may not meet Misplaced Pages's general notability guideline. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted. Find sources: "Stephan Schulz" – news · newspapers · books · scholar · JSTOR (September 2008) (Learn how and when to remove this message) |
| Stephan Schulz | |
|---|---|
| Nationality | German |
| Known for | E equational theorem prover |
| Scientific career | |
| Fields | Computer Technology |
Stephan Schulz is a German computer scientist working in the field of automated reasoning. He is best known for the development of the high performance E equational theorem prover, which won the CNF division of the CADE ATP System Competition in 2000. It has been among the strongest systems in the competition for several years, coming second in 2008. In 2002, Schulz was recognized by the Florida Artificial Intelligence Research Society with the best paper award for his work A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae.
Together with Geoff Sutcliffe, Schulz founded and has been organizing the ES* Workshop series, a venue for presentation and publishing of practically oriented Automated Reasoning research. He has been significantly involved with the IWIL Workshop series on implementations of logics, and is a member of the Steering Committee of the International Workshop on First-Order Theorem Proving.
References
- CASC-17 competition
- FOF division of CASC in 2008
- "Flairs 2002 Conference Report". AI Magazine. 2002-12.
{{cite journal}}: Check date values in:|date=(help) - Empirically Successful Topics in Automated Deduction workshop series
- Steering Committee of the International Workshops on First-Order Theorem Proving (FTP)
External links
 | This biography of an academic is a stub. You can help Misplaced Pages by expanding it. |