Focused random walk with probability distribution for SAT with long clauses

Huimin Fu
, J. Liu
, Yang Xu

Southwest Jiaotong University

Research output: Contribution to journal › Article › peer-review

2 Citations (Scopus)

273 Downloads (Pure)

1 results
- Last Name(descending)

Jun Liu
- j.liuulster.acuk
- School of Computing - Professor of Artificial Intelligence
- Faculty Of Computing, Eng. & Built Env. - Full Professor
- Computer Science and Informatics Research
Person: Academic