Towards Industrial-Like Random SAT Instances.

Carlos Anstegui, Maria Luisa Bonet, Jordi Levy

Browse the full IJCAI paper archive.