The message of the Earth Summit is that there are many solutions to the problems facing the world. Everyone agrees that education is the key to the future.
地球峰会带给我们的讯息是，地球所面临的问题有很多解决途径，人们都同意教育是未来的关键。
In this thesis, we present an idea that is to count unsatisfiable solutions by the message of unsatisfiable assignments in searching, and design two efficient Monte Carlo randomized algorithms.
本文提出了一个利用搜索过程中不满足赋值的信息进行不满足解数统计的思想，得到了两个有效的MonteCarlo型随机算法。
In this thesis, we present an idea that is to count unsatisfiable solutions by the message of unsatisfiable assignments in searching, and design two efficient Monte Carlo randomized algorithms.
本文提出了一个利用搜索过程中不满足赋值的信息进行不满足解数统计的思想，得到了两个有效的MonteCarlo型随机算法。
应用推荐