An efficient local search method for random 3-satisfiability

Sakari Seitz, Pekka Orponen

Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

9 Sitaatiot (Scopus)
24 Lataukset (Pure)
AlkuperäiskieliEnglanti
Sivut71-79
Sivumäärä9
JulkaisuElectronic Notes in Discrete Mathematics
Vuosikerta16
DOI - pysyväislinkit
TilaJulkaistu - 2003
OKM-julkaisutyyppiA1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Siteeraa tätä