hgen2

Random generator hgen2 of satisfiable formulas in 3-CNF

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Jia, Haixia; Moore, Cris; Selman, Bart: From spin glasses to hard satisfiable formulas (2005)