DPLL算法软件–DPvis

11月 14, 2009

Filed under: Uncategorized — 标签：软件；学习 — jy00912345 @ 11:32 pm

正在学习DPLL算法。
这款软件用于我们学校的实验课。
可图图像化逻辑的表达。寻求合取范式的解。
详情可见：

http://www-sr.informatik.uni-tuebingen.de/~sinz/DPvis/DPvis.html

Be the first to like this post.

发表评论

还没有评论。

请在此输入您的评论... ...

Fill in your details below or click an icon to log in:

电子邮箱（必填） (Address never made public)

名称（必填）

网址

You are commenting using your WordPress.com account. ( Log Out / 更改 )

You are commenting using your Twitter account. ( Log Out / 更改 )

You are commenting using your Facebook account. ( Log Out / 更改 )

Connecting to %s