毕设程序流程图
2022-02-23 19:21:15 0 举报
无
作者其他创作
大纲/内容
Pick variable
yes
limited in certain times?
Has unsat constraints?
Construct initial solution
no(Main loop)
Has score>0variable?
Flip the variable
no
print \"Satifiable\"
Randomly pick one unsat constraint
收藏
收藏
0 条评论
回复 删除
下一页