机译:数据减少,固定参数易处理性和随机加权d-CNF可满足性
Department of Computer Science, Irving K. Barber School of Arts and Sciences, University of British Columbia Okanagan, Kelowna, Canada V1V 1V7;
weighted CNF satisfiability; fixed parameter tractability; data reduction; random instances; phase transitions; probabilistic analysis; resolution complexity;
机译:顶点覆盖的与表示无关的固定参数可牵引性和加权单调可满足性
机译:树中多割的固定参数可操作性和数据约简
机译:加权边缘Clique分区问题的固定参数易遗传性
机译:加权d-CNF可满足性的随机实例的固定参数算法
机译:绘图图的下界和固定参数易处理性
机译:具有多个目标结构的RNA设计的固定参数易处理采样
机译:数据减少,固定参数可处理性和随机加权dCNF可满足性