![](/img/cover-not-exists.png)
On the complexity of finding falsifying assignments for Herbrand disjunctions
Pudlák, PavelVolume:
54
Language:
english
Journal:
Archive for Mathematical Logic
DOI:
10.1007/s00153-015-0439-6
Date:
November, 2015
File:
PDF, 413 KB
english, 2015