Stephan Schulz: Difference between revisions

Browse history interactively ← Previous edit Next edit →Content deleted Content addedVisual WikitextInline

Revision as of 12:16, 18 December 2009 editCoffee (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 prover ← Previous edit		Revision as of 22:06, 18 December 2009 edit undoSpringnuts (talk \| contribs)Extended confirmed users, Pending changes reviewers, Rollbackers9,799 edits Having merged into E equational theorem prover, set up as redirect iaw AfDNext edit →
Line 1:		Line 1:
	~~{{afd-mergeto\|~~E equational theorem prover~~\|Stephan Schulz\|18 December 2009}}~~		#REDIRECT ]


	{{Notability\|date=September 2008}}

	{{Infobox_Scientist
	\| 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 won the ] division of the ] in 2000.<ref></ref> It has been among the strongest systems in the competition for several years, coming second in 2008.<ref></ref> In 2002, Schulz was recognized by the ] with the ''best paper'' award for his work ''A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae''.<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>

	Together with ], Schulz founded and has been organizing the ES* Workshop series,<ref></ref> a venue for presentation and publishing of practically oriented Automated Reasoning research. He has been significantly involved with the ] on implementations of logics, and is a member of the Steering Committee of the ].<ref></ref>

	==References==
	{{reflist}}

	==External links==
	*
	* at the ]

	{{academic-bio-stub}}
	{{DEFAULTSORT:Schulz, Stephan}}

	]

	]
	]

Revision as of 22:06, 18 December 2009

Redirect to:

E equational theorem prover