preprint · 2014
Sparser Random 3-SAT Refutation Algorithms and the Interpolation Problem
0 citationsDOI: https://doi.org/10.1007/978-3-662-43948-7_84Open accessPDF reported by metadataFull text reported by metadata
Article
Article detail, metadata, authors, and available full-text links.
Paper reader
Loading paper...