2007 |
3 | 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 |
2 | EE | Sakari Seitz,
Mikko Alava,
Pekka Orponen:
Threshold Behaviour of WalkSAT and Focused Metropolis Search on Random 3-Satisfiability.
SAT 2005: 475-481 |
1 | EE | Sakari Seitz,
Mikko Alava,
Pekka Orponen:
Focused Local Search for Random 3-Satisfiability
CoRR abs/cond-mat/0501707: (2005) |