Scale-Free Random SAT Instances
From MaRDI portal
Publication:6290396
DOI10.3390/a15060219arXiv1708.06805MaRDI QIDQ6290396
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
Publication date: 12 July 2017
This page was built for publication: Scale-Free Random SAT Instances