- 授权协议: 未知
- 开发语言: Java
- 操作系统: 跨平台
- 软件首页: http://www.sat4j.org/
- 软件文档: http://www.sat4j.org/doc.php
软件介绍
OpenSAT 是一个Java实现的SAT算法库。
关于SAT算法请看：sat2_sjtu_zhaoshuang.pdf
算法概论
Sanjoy Dasgupta、Christos Papadimitriou、Umesh Vazirani / 钱枫 注、邹恒明 注 / 机械工业出版社 / 2009-1 / 55.00元
《算法概论(注释版)》源自加州大学伯克利分校和加州大学圣迭戈分校本科生的算法课讲义，以独特的视角展现了算法设计的精巧技术及魅力。在表达每一种技术时，强调每个算法背后的简洁数学思想，分析其时间和空间效率，运用与其他技术类比的方法来说明特征，并提供了大量实例。《算法概论(注释版)》以人类最古老的算法（算术运算）为起点，将各种算法中优美而有代表性的内容囊括书中，并以最前沿的理论（量子算法）结束，构成了较......一起来看看 《算法概论》 这本书的介绍吧!
