| |
other persons with the same name:
| 2008 | ||
|---|---|---|
| 2 | EE | Samuel R. Buss, Jan Hoffmann, Jan Johannsen: Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning CoRR abs/0811.1075: (2008) |
| 1 | EE | Samuel 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) |
| 1 | Samuel R. Buss | [1] [2] |
| 2 | Jan Johannsen | [2] |