Backtracking search of Boolean satisfy ability - Programming版 - 未名存档

本页内容为未名空间相应帖子的节选和存档，一周内的贴子最多显示50字，超过一周显示500字访问原贴

Programming版 - Backtracking search of Boolean satisfy ability

相关主题
● scala大牛幫看看這個map是為什麽？不太明白	● 0/1 Knapsack问题Linear Space的算法可以实现Backtrack吗?
● 能发自学日志么？	● Help on a multithread question
● 问一段C++ iostringstream的代码	● 问一个VC的include的问题
● 水母那个大坑太搞笑了	● Java代码，老是compile出错，大家帮我看看哪错了。。。
● 请教一个问题	● gdsroot的问题
● 怎么产生全排列？	● static void foo( boolean * validPtr ) 中 static 啥意思？
● 求算法:非交子集。琢磨好几天了，特向大家求教。	● 求习题：scheme programming, boolean, circuit
● 问一个 information retrieval 问题。。。	● 为什么这段程序scala慢java很多

相关话题的讨论汇总
话题: boolean话题: satisfy话题: ability话题: search

进入Programming版参与讨论

1

(共1页)

H*D 发帖数: 35	1 用C++要怎么实现？大概就是读入一个cnf文件，用backtracking找出有没有解。牛人们能帮我讲讲大概的算法就好。。。
p***o 发帖数: 1252	2 这个轮子不好造, 直接用minisat就好, 要不然你得去读minisat的paper 【在 H*D 的大作中提到】 : 用C++要怎么实现？大概就是读入一个cnf文件，用backtracking找出有没有解。 : 牛人们能帮我讲讲大概的算法就好。。。
c****e 发帖数: 1453	3 Read paper ZChaff, MiniSat. Not hard to implement by your own. Backtracking is easy to understand. The tricky part is conflict driven learning.

1

(共1页)

进入Programming版参与讨论

相关主题
● 为什么这段程序scala慢java很多	● 请教一个问题
● 求大牛指导这道题。结果是什么？	● 怎么产生全排列？
● 有人知道AtomicInteger是如何实现的么	● 求算法:非交子集。琢磨好几天了，特向大家求教。
● Dynamic programming和backtracking有什么区别吗	● 问一个 information retrieval 问题。。。
● scala大牛幫看看這個map是為什麽？不太明白	● 0/1 Knapsack问题Linear Space的算法可以实现Backtrack吗?
● 能发自学日志么？	● Help on a multithread question
● 问一段C++ iostringstream的代码	● 问一个VC的include的问题
● 水母那个大坑太搞笑了	● Java代码，老是compile出错，大家帮我看看哪错了。。。

相关话题的讨论汇总
话题: boolean话题: satisfy话题: ability话题: search

未名新帖统计// 7月16日

#	版面	帖数(主题数)
-	全站	4871 (796)
1	Military	3777 (569)
2	Stock	341 (51)
3	Joke	117 (17)
4	History	116 (3)
5	Automobile	100 (9)
6	USANews	55 (9)
7	Midlife	45 (1)
8	Headline	41 (41)
9	Dreamer	33 (13)
10	FleaMarket	32 (20)
11	Living	30 (7)

* 这里只显示发帖超过25的版面，努力灌水吧:-)