Modelling the dynamics of stochastic local search on \(k\)-SAT
type: Item
instance of: scholarly article
title: Modelling the dynamics of stochastic local search on \(k\)-SAT
zbMATH Open document ID: 1142.90460
author: Nicolas G. Fournier
published in: Journal of Heuristics
publication date: 2008-06-23T00:00:00Z
Mathematics Subject Classification ID: 90C15
Mathematics Subject Classification ID: 90C27
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 5291488
zbMATH Keywords: Algorithm analysis
zbMATH Keywords: Experimental evaluation
zbMATH Keywords: Stochastic algorithms
zbMATH Keywords: Local search
describes a project that uses: Tabu search
describes a project that uses: SATLIB
MaRDI profile type: Publication
full work available at URL: s10732-007-9023-5
OpenAlex ID: W2009739012
cites work: Q4790412
cites work: An improved deterministic local search algorithm for 3-SAT
cites work: Q4012216
cites work: A deterministic \((2-2/(k+1))^{n}\) algorithm for \(k\)-SAT based on local search.
cites work: Evolutionary computation
cites work: Q4198056
cites work: Q4386921
cites work: Future paths for integer programming and links to artificial intelligence
cites work: Bandwidth Packing: A Tabu Search Approach
cites work: Some optimal inapproximability results
cites work: Algorithms for the maximum satisfiability problem
cites work: Monte Carlo sampling methods using Markov chains and their applications
cites work: Q4736839
cites work: Local search algorithms for SAT: an empirical evaluation
cites work: Q5501274
cites work: Q4118602
cites work: Critical Behavior in the Satisfiability of Random Boolean Expressions
cites work: Convergence of an annealing algorithm
cites work: Q4856179
cites work: The time complexity of maximum matching by simulated annealing
cites work: Q3836833
DOI: 10.1007/S10732-007-9023-5
description: scientific article; zbMATH DE number 5291488