HeaJO_o's Blog

11月 14, 2009

DPLL算法软件–DPvis

Filed under: Uncategorized — 标签: — jy00912345 @ 11:32 pm

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

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

发表评论 »

还没有评论。

评论 RSS Feed。 TrackBack URI

发表评论

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

WordPress.com Logo

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

Twitter picture

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

Facebook photo

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

Connecting to %s

主题:WordPress Classic. 在WordPress.com的博客.

加关注

Get every new post delivered to your Inbox.