We study the random resolution refutation system defined in [Buss et al. 2014]. ... The following system for refuting propositional CNFs was ...
確定! 回上一頁