3-SAT; flip; complex set (CS); simple set (SS); the corresponding graph G_s; an assignment subgraph; A true value subgraph;
机译:在多项式层次结构中放置3-SAT和NOT-全均等于3-SAT的量化变体
机译:NOT-全均等于4-常规的4均匀图3-SAT和2色调
机译:在一个单独等于3-SAT的简单硬变量
机译:有向图转换成3-SAT问题的效率研究
机译:2和3卫星函数的渐近枚举。
机译:性病参考书目1966-1970年1971年性病参考书目1970年流产参考书目1971年流产参考书目成瘾和非成瘾药物其使用和滥用。 1960-1969年的综合书目1970年的药物滥用书目1971年的药物滥用书目
机译:在多项式层次结构中放置3-SAT和NOT-全均等于3-SAT的量化变体