More efficient stochastic local search for satisfiability
- Huimin Fu
- , Guanfeng Wu
- , J. Liu
- , Yang Xu
- Southwest Jiaotong University
Research output: Contribution to journal › Article › peer-review
3
Link opens in a new tab
Citations
(Scopus)
290
Downloads
(Pure)