申请试用
HOT
登录
注册
 
008-a search algorithm for propositional satisfiability
1 / 48

008-a search algorithm for propositional satisfiability

飞飞fly
/
发布于
6年前
/
1947
人观看
This chapter is mainly about a search algorithm for propositional satisfiability, which mainly includes sat in a nutshell,problem representation,DLL algorithm,implications and boolean constraint propagation and so on.
0点赞
0收藏
0下载
相关推荐