#### Filter Results:

- Full text PDF available (1)

#### Publication Year

1978

2007

- This year (0)
- Last 5 years (0)
- Last 10 years (1)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Alfredo von Reckow
- ArXiv
- 2007

In order to prove that the P class of problems is different to the NP class, we consider the satisfability problem of propositional calculus formulae, which is an NP-complete problem [1], [3]. It is shown that, for every search algorithm A, there is a set E(A) containing propositional calculus formulae, each of which requires the algorithm A to take a… (More)

- H Schwickerath, A Reckow
- Die Quintessenz der Zahntechnik
- 1978

- ‹
- 1
- ›