windows socket网络基础详解(socket的流程介绍的很详细)http://blog.csdn.net/ithzhang/article/details/8448655
Windows Socket 非阻塞模式开发 http://blog.csdn.net/ithzhang/article/details/8274596...
1. GlueMiniSatPPT-nabeshima.pdf
A fast SAT solver with an aggressive acquiring strategy of glue clauses
早期求解器资料,涉及基本概念、BCP工作示意图、冲突分析蕴含图的图示。
2.
sat初学...