基于一个实际的cnf例子讲解传播。
cnf文件：
| 数据文件：10.44.1667358355.cnf |
1 p cnf 10 44 2 10 -1 5 0 3 -1 -4 -3 0 4 -5 -4 6 0 5 -2 -1 4 0 6 10 -8 -7 0 7 9 2 -6 0 8 -1 -2 -6 0 9 6 5 -10 0 10 8 -9 -5 0 11 -8 2 -3 0 12 -4 1 -5 0 13 -7 5 3 0 14 10 3 -5 0 15 8 9 -6 0 16 4 -6 9 0 17 10 -8 4 0 18 -1 10 -8 0 19 -1 8 -10 0 20 -7 6 -1 0 21 -6 -10 9 0 22 9 -7 -3 0 23 -4 -3 -6 0 24 -6 -7 2 0 25 -1 -6 -9 0 26 -6 -3 -4 0 27 -8 -2 6 0 28 -2 -8 4 0 29 -3 -8 10 0 30 3 -2 6 0 31 -10 7 -2 0 32 -8 10 5 0 33 7 3 6 0 34 7 4 5 0 35 9 -3 -7 0 36 2 8 -7 0 37 5 -9 3 0 38 2 -1 -8 0 39 9 6 -8 0 40 5 -3 -8 0 41 2 1 -10 0 42 -10 9 2 0 43 -4 9 -3 0 44 3 1 -6 0 45 -5 -7 -6 0 46 c 1 a_1 47 c 2 a_2 48 c 3 a_3 49 c 4 a_4 50 c 5 a_5 51 c 6 a_6 52 c 7 a_7 53 c 8 a_8 54 c 9 a_9 55 c 10 a_10 |
该文件求解时没有发生冲突，有两处蕴含推导。具体求解输出结果如下：
