Scatter Search with Random Walk Strategy for SAT and MAX-W-SAT Problems.

Habiba Drias Mohamed Khabzaoui Scatter Search with Random Walk Strategy for SAT and MAX-W-SAT Problems. 35-44 2001 conf/ieaaie/2001 IEA/AIE http://link.springer.de/link/service/series/0558/bibs/2070/20700035.htm db/conf/ieaaie/ieaaie2001.html#DriasK01