基于环型扩展推理规则的MaxSAT完备算法

基于环型扩展推理规则的MaxSAT完备算法

刘燕丽*，黄飞，张婷

MaxSAT complete algorithm based cycle extended inference rules

Liu Yanli, Huang Fei, Zhang Ting

南京大学学报(自然科学版) . 2015, (4): 762 -771 .