DMCA

Threshold behaviour of WalkSAT and Focused Metropolis search on random 3-satisfiability (2005)

Cached

Download Links

by Sakari Seitz , Mikko Alava , Pekka Orponen
Venue:Proc. 8 th Int. Conf. Theory and Applications of Satisfiability Testing (SAT 2005
Citations:5 - 2 self