[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1997 Volume 1295 || Complexity of finding short resolution proofs
PrÃvara, Igor, RužiÄka, PeterVolume:
10.1007/BF
Year:
1997
DOI:
10.1007/BFb0029974
File:
PDF, 847 KB
1997