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

008-a search algorithm for propositional satisfiability

飞飞fly
/
发布于
/
1837
人观看
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秒后跳转登录页面
去登陆