Focused random walk with probability distribution for SAT with long clauses

Huimin Fu, J. Liu, Yang Xu

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

2 Citations (Scopus)

109 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