Public

Random resolution refutations

Published in Computational Complexity • Apr 22, 2019

Authors:

Pavel Pudlák

,

Neil Thapen

Subject

Resolution (logic)

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!