Sciweavers

65
Voted
IJCAI
1997
15 years 6 days ago
Learning Short-Term Weights for GSAT
We investigate an improvement to GSAT which associates a weight with each clause. We change the objective function so that GSAT moves to assignments maximizing the weight of satis...
Jeremy Frank