hgen2 Random generator hgen2 of satisfiable formulas in 3-CNF References in zbMATH (referenced in 1 article ) Showing result 1 of 1. y Sorted by year (citations) 10 20 50 all Jia, Haixia; Moore, Cris; Selman, Bart: From spin glasses to hard satisfiable formulas (2005)