Old Web
English
Sign In
Acemap
>
Paper
>
Multistage optimization algorithm for MAX-SAT-encoded planning and circuit verification problems
Multistage optimization algorithm for MAX-SAT-encoded planning and circuit verification problems
2013
Yongzai Lu
Di Yu
Liang Ma
Chong-Wei Zheng
Xi-Qun Zhang
Zhengjiang Zhang
Guo-Qiang Zeng
Dong-Chao Zhu
Jia Wang
Keywords:
Cluster analysis
WalkSAT
Mathematical optimization
Maximum satisfiability problem
Machine learning
Computer science
Artificial intelligence
optimization algorithm
Theoretical computer science
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]