Boolean functions; random processes; computational complexity; computability; probability; maximum satisfiability; random formulas; NP-complete problem; random instances; canonical problem; statistical physics; maximum clauses; random k-CNF formula; asym;
机译:关于随机公式的最大可满足性
机译:随机可满足的k-CNF公式的演化算法的时间复杂度分析
机译:关于随机可满足性公式的解数的集中
机译:关于随机3-CNF公式的可满足性和最大可满足性
机译:随机机器上可满足性和相关问题的时空下限。
机译:基于...的双...模型的拟最大指数似然估计和Portmanteau检验
机译:与常规随机公式的最大可满足性相关的阈值的界限