- 授权协议: 未知
- 开发语言: Java
- 操作系统: 跨平台
- 软件首页: http://sat.inesc.pt/OpenSAT/index.php
- 软件文档: http://sat.inesc.pt/OpenSAT/api
软件介绍
OpenSAT 是一个旨在开发SAT算法的项目。
关于SAT算法请看：sat2_sjtu_zhaoshuang.pdf
Algorithms Unlocked
Thomas H. Cormen / The MIT Press / 2013-3-1 / USD 25.00
Have you ever wondered how your GPS can find the fastest way to your destination, selecting one route from seemingly countless possibilities in mere seconds? How your credit card account number is pro......一起来看看 《Algorithms Unlocked》 这本书的介绍吧!
