#### Filter Results:

- Full text PDF available (1)

#### Publication Year

1978

2007

- This year (0)
- Last five years (0)

#### Publication Type

#### Co-author

#### Publication Venue

#### 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
- ›