Scale-Free Random SAT Instances

Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy. Scale-Free Random SAT Instances. Algorithms, 15(6):219, 2022. [doi]

@article{AnsoteguiBL22,
  title = {Scale-Free Random SAT Instances},
  author = {Carlos Ansótegui and Maria Luisa Bonet and Jordi Levy},
  year = {2022},
  doi = {10.3390/a15060219},
  url = {https://doi.org/10.3390/a15060219},
  researchr = {https://researchr.org/publication/AnsoteguiBL22},
  cites = {0},
  citedby = {0},
  journal = {Algorithms},
  volume = {15},
  number = {6},
  pages = {219},
}