Concepedia
Publication | Closed Access
Guided Local Search for Solving SAT and Weighted MAX-SAT Problems
72
Citations
28
References
2000
Year
Page 1