Towards Industrial-Like Random SAT Instances

Open in new window