Misplaced Pages

Stephan Schulz: Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editContent deleted Content addedVisualWikitext
Revision as of 22:12, 9 December 2009 editKimDabelsteinPetersen (talk | contribs)Extended confirmed users, Pending changes reviewers19,610 edits Reverted to revision 272036116 by Addbot; rv per WP:BLP.. using TW← Previous edit Latest revision as of 21:33, 22 November 2018 edit undoChristian75 (talk | contribs)Extended confirmed users, New page reviewers, Pending changes reviewers, Rollbackers114,694 edits {{R from person}} {{R from merge}} 
(13 intermediate revisions by 9 users not shown)
Line 1: Line 1:
⚫ #REDIRECT ]
{{Orphan|date=February 2009}}
{{Notability|date=September 2008}}


{{R from person}}
{{Infobox_Scientist
{{R from merge}}
| name = Stephan Schulz
| image =
| image_width= 200px
| caption = Stephan Schulz
| residence = Germany
| nationality = German
| field = Computer Technology
⚫ | known_for = ]
}}

'''Stephan Schulz''' is a ] ] working in the field of ]. He is best known for the development of the high performance ] which has won the CNF division of the , and has been among the strongest systems in the for several years (coming second in the . In 2002, Schulz was recognized for the best paper by ]<ref name="f2002">{{cite journal|date=2002-12|title=Flairs 2002 Conference Report|journal=AI Magazine|url=http://www.accessmylibrary.com/coms2/summary_0286-27024342_ITM}}</ref> and has been published in his field.<ref>{{cite web|url=http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Schulz:Stephan.html|title=DBLP Bibliography |publisher=Universitat Trier|accessdate=2008-09-16}}</ref>

Together with ], he has founded and has been organizing the which became a venue for presentation and publishing of practically oriented Automated Reasoning research. He has been also significantly involved with the ] about implementations of logics, and is a member of the Steering Committee of the ].

==References==
{{reflist}}

==External links==
*
*

{{academic-bio-stub}}

Latest revision as of 21:33, 22 November 2018

Redirect to:

  • From a person(s): This is a redirect from a person or persons' name to a related article or section that describes the person(s).
    • It is a topic more specific than currently provided on the target article or a section of that article, hence this redirect is a potential article that may be suitable for expansion in accordance with Misplaced Pages's notability policy on biographies of notable people. The magic word {{DEFAULTSORT:Schulz, Stephan}} should be included below the #REDIRECT code in this page for correct category sorting of this person's name.
  • From a merge: This is a redirect from a page that was merged into another page. This redirect was kept in order to preserve the edit history of this page after its content was merged into the content of the target page. Please do not remove the tag that generates this text (unless the need to recreate content on this page has been demonstrated) or delete this page.