Towards a characterisation of the behaviour of stochastic local search algorithms for SAT

Publisher Website

1 August 1999

journal article
Published by Elsevier in Artificial Intelligence

Vol. 112 (1-2), 213-232
https://doi.org/10.1016/s0004-3702(99)00048-x

Abstract

No abstract available

Keywords

Cited by 57 articles