2 search results - page 1 / 1 » On optimal heuristic randomized semidecision procedures, wit... |
ECCC
2010
13 years 2 months ago
2010
The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist. Kraj
STACS
2010
Springer
13 years 11 months ago
2010
Springer
The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist. Kraj´ıˇcek and P...