Skip to content

A Modularity-Based Random SAT Instances Generator.

Jess Girldez-Cru, Jordi Levy

VenueA*IJCAI
Year2015
ProceedingsIJCAI

Browse the full IJCAI paper archive.