An efficient local search method for random 3-satisfiability

Sakari Seitz, Pekka Orponen

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

AlkuperäiskieliEnglanti
OtsikkoIEEE LICS'03 Workshop on Typical Case Complexity and Phase Transitions, Ottawa, Canada, June 2003
ToimittajatEvangelos Kranakis, Lefteris Kirousis
JulkaisupaikkaAmsterdam
KustantajaElsevier
TilaJulkaistu - 2003
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

Tutkimusalat

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

Siteeraa tätä