Backbone guided local search for maximum satisfiability
- Weixiong Zhang
- , Ananda Rangan
- , Moshe Looks
Research output: Contribution to journal › Conference article › peer-review
43
Link opens in a new tab
Scopus
citations