An efficient local search method for random 3-satisfiability

Sakari Seitz, Pekka Orponen

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

Original languageEnglish
Title of host publicationIEEE LICS'03 Workshop on Typical Case Complexity and Phase Transitions, Ottawa, Canada, June 2003
EditorsEvangelos Kranakis, Lefteris Kirousis
Place of PublicationAmsterdam
PublisherElsevier
Publication statusPublished - 2003
MoE publication typeA4 Article in a conference publication

Keywords

  • combinatorial phase transitions
  • local search
  • satisfiability problem
  • stochastic algorithms

Cite this