Systematic vs. Local Search for SAT.

Holger H. Hoos, Thomas Sttzle

Browse the full KI paper archive.