可满足性问题
[Under Construction]
* 可满足性问题 (Safisfiability Problem, SAT), 简称为SAT问题.
相关论文
N/A
相关软件
name
type*
description
MAOS_SAT
BIN
(JAVA) 用来求解SAT问题的
mini-Swarm
系统, 实例文件为
SATLIB
格式
*缩写: SRC=源代码; BIN=执行代码
Return to homepage
Maintained by
AdaptiveBox StUdIo
, under a
Creative Commons Attribution 3.0 License
.