Threshold behaviour of WalkSAT and focused Metropolis search on random 3-satisfiability

Sakari Seitz, Mikko Alava, Pekka Orponen

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

5 Citations (Scopus)
6 Downloads (Pure)
Original languageEnglish
Title of host publication8th International Conference on Theory and Applications of Satisfiability Testing, St. Andrews, Skotlanti, 20.-23.6.2005
EditorsFahiem Bacchus, Toby Walsh
Place of PublicationBerlin Heidelberg
Pages475-481
Publication statusPublished - 2005
MoE publication typeA4 Article in a conference publication

Publication series

Name
PublisherSpringer
ISSN (Print)0302-9743

Keywords

  • local search
  • Metropolis algorithm
  • phase transition
  • satisfiability
  • WalkSAT

Cite this