Jan Hoffmann

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2EESamuel R. Buss, Jan Hoffmann, Jan Johannsen: Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning CoRR abs/0811.1075: (2008)
1EESamuel R. Buss, Jan Hoffmann: The NP-hardness of finding a directed acyclic graph for regular resolution. Theor. Comput. Sci. 396(1-3): 271-276 (2008)

Coauthor Index

1Samuel R. Buss [1] [2]
2Jan Johannsen [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)