SIAM Journal on Discrete Mathematics. 2006;20(2):523-528. doi: 10.1137/s0895480104445745 Q21.02025

A Note on Unsatisfiable k -CNF Formulas with Few Occurrences per Variable

关于变量出现次数较少的不可满足k-CNF公式的一则注记

DOI: 10.1137/s0895480104445745

摘要 查看摘要

Copyright © SIAM Journal on Discrete Mathematics. 中文内容为AI机器翻译，仅供参考！