Towards a characterisation of the behaviour of stochastic local search algorithms for SAT
type: Item
instance of: scholarly article
title: Towards a characterisation of the behaviour of stochastic local search algorithms for SAT
zbMATH Open document ID: 0996.68069
DOI: 10.1016/S0004-3702(99)00048-X
author: Holger H. Hoos
author: Thomas Stützle
published in: Artificial Intelligence
publication date: 2002-07-24T00:00:00Z
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 1770909
zbMATH Keywords: stochastic local search algorithms
describes a project that uses: Walksat
MaRDI profile type: Publication
Wikidata QID: Q59586173
full work available at URL: s0004-3702(99)00048-x
OpenAlex ID: W1987703212
DBLP publication ID: journals/ai/HoosS99
description: scientific article; zbMATH DE number 1770909