Login / Signup

A Probabilistic Algorithm for k -SAT Based on Limited Local Search and Restart.

Uwe Schöning
Published in: Algorithmica (2002)
Keyphrases