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

Sakari Seitz, Mikko Alava, Pekka Orponen

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

5 Sitaatiot (Scopus)
6 Lataukset (Pure)
AlkuperäiskieliEnglanti
Otsikko8th International Conference on Theory and Applications of Satisfiability Testing, St. Andrews, Skotlanti, 20.-23.6.2005
ToimittajatFahiem Bacchus, Toby Walsh
JulkaisupaikkaBerlin Heidelberg
Sivut475-481
TilaJulkaistu - 2005
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

Julkaisusarja

Nimi
KustantajaSpringer
ISSN (painettu)0302-9743

Tutkimusalat

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

Siteeraa tätä