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 editNext edit →Content deleted Content addedVisualWikitext
Revision as of 01:57, 16 September 2008 editSebwite (talk | contribs)Autopatrolled, Extended confirmed users, Pending changes reviewers13,543 edits remove prod - references have been added← Previous edit Revision as of 02:07, 16 September 2008 edit undoJosefUrban (talk | contribs)44 editsNo edit summaryNext edit →
Line 10: Line 10:
}} }}


'''Stephan Schulz''' is a ] ] working in the field of ]. He is best known for the development of the high performance ]. 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> '''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>


==References== ==References==

Revision as of 02:07, 16 September 2008

Stephan Schulz
File:StephanSchulz.jpgStephan Schulz
NationalityGerman
Known forE equational theorem prover
Scientific career
FieldsComputer 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 has won the CNF division of the CASC-17 competition, and has been among the strongest systems in the CASC competition for several years (coming second in the FOF division of CASC in 2008. In 2002, Schulz was recognized for the best paper by FLAIRS and has been published in his field.

References

  1. "Flairs 2002 Conference Report". AI Magazine. 2002-12. {{cite journal}}: Check date values in: |date= (help)
  2. "DBLP Bibliography". Universitat Trier. Retrieved 2008-09-16.

External links