Improving Configuration Checking for Satisfiable Random k-SAT Instances.

Andr Abram, Djamal Habet, Donia Toumi

Browse the full ISAIM paper archive.