Volker Klotz

According to our database1, Volker Klotz authored at least 6 papers between 2000 and 2006.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2006
The first 10 years of the ECCC digital library.
Commun. ACM, 2006

2004
10 Jahre ECCC - Eine Digitale Bibliothek in weltweiter Benutzung
Universität Trier, Mathematik/Informatik, Forschungsbericht, 2004

Embedding Memoization to the Semantic Tree Search for Deciding QBFs.
Proceedings of the AI 2004: Advances in Artificial Intelligence, 2004

2002
Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

2001
Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results.
Proceedings of the Answer Set Programming, 2001

2000
Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP.
Proceedings of the WLP 2000, 2000


  Loading...