An efficient local search method for random 3-satisfiability

Sakari Seitz, Pekka Orponen

Electronic Notes in Discrete Mathematics · 2003 · 19 citations · 24 references

Concepts

References

24