The Complexity of Finding Read-Once NAE-Resolution Refutations.

Hans Kleine Büning Piotr J. Wojciechowski K. Subramani

Published in: ICLA (2017)

Keyphrases

computational complexity
high resolution
data sets
computational cost
decision problems
theorem prover
uniform distribution
sampling rate