A Stochastic Local Search Approach to Vertex Cover.

Silvia Richter Malte Helmert Charles Gretton

Published in: KI (2007)

Keyphrases

vertex cover
stochastic local search
approximation algorithms
satisfiability problem
partial order
phase transition
planar graphs
randomly generated
random sat instances
precedence constraints
max sat
sat problem
polynomial time approximation
sat instances
partially ordered
temporal logic
cellular automata