An efficient local search method for random 3-satisfiability

Sakari Seitz, Pekka Orponen

Research output: Contribution to journal › Article › Scientific › peer-review

9 Citations (Scopus)

23 Downloads (Pure)

Original language	English
Pages (from-to)	71-79
Number of pages	9
Journal	Electronic Notes in Discrete Mathematics
Volume	16
DOIs	https://doi.org/10.1016/S1571-0653(04)00463-9
Publication status	Published - 2003
MoE publication type	A1 Journal article-refereed

Access to Document

@article{3adfd01a4c194df384fd51cefa5c5c8c,

title = "An efficient local search method for random 3-satisfiability",

author = "Sakari Seitz and Pekka Orponen",

year = "2003",

doi = "10.1016/S1571-0653(04)00463-9",

language = "English",

volume = "16",

pages = "71--79",

journal = "Electronic Notes in Discrete Mathematics",

publisher = "Elsevier",

}