2007 |
4 | EE | Mikko Alava,
John Ardelius,
Erik Aurell,
Petteri Kaski,
Supriya Krishnamurthy,
Pekka Orponen,
Sakari Seitz:
Circumspect descent prevails in solving random constraint satisfaction problems
CoRR abs/0711.4902: (2007) |
2005 |
3 | EE | Sakari Seitz,
Mikko Alava,
Pekka Orponen:
Threshold Behaviour of WalkSAT and Focused Metropolis Search on Random 3-Satisfiability.
SAT 2005: 475-481 |
2 | EE | Sakari Seitz,
Mikko Alava,
Pekka Orponen:
Focused Local Search for Random 3-Satisfiability
CoRR abs/cond-mat/0501707: (2005) |
2003 |
1 | EE | Sakari Seitz,
Pekka Orponen:
An efficient local search method for random 3-satisfiability.
Electronic Notes in Discrete Mathematics 16: 71-79 (2003) |