Concepedia

Sakari Seitz

SS

Statistics

Publications

3

Citations

170

H-Index

3

Active since

2003

Affiliations

Helsinki Institute of Physics(Current)

Sakari Seitz is an author at Helsinki Institute of Physics specializing in verification, automated reasoning, and formal methods.

Top concepts

Publications per year

2003–2008

3

Publications

3

Focused local search for random 3-satisfiability

Sakari Seitz, Mikko J. Alava, Pekka Orponen · Journal of Statistical Mechanics Theory and Experiment · 2005 · 82 citations · Full text

Circumspect descent prevails in solving random constraint satisfaction problems

Mikko J. Alava, John Ardelius, Erik Aurell et al. · Proceedings of the National Academy of Sciences · 2008 · 69 citations · Full text

An efficient local search method for random 3-satisfiability

Sakari Seitz, Pekka Orponen · Electronic Notes in Discrete Mathematics · 2003 · 19 citations

, , +7

1–3 of 3