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

008-a search algorithm for propositional satisfiability

飞飞fly
/
发布于
/
1931
人观看
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下载
相关推荐
确认
3秒后跳转登录页面
去登陆