Redundancy in Random SAT Formulas

Boufkhad and Roussel. "Redundancy in Random SAT Formulas." AAAI Conference on Artificial Intelligence, 2000.

[Boufkhad and Roussel. "Redundancy in Random SAT Formulas." AAAI Conference on Artificial Intelligence, 2000.](https://mlanthology.org/aaai/2000/boufkhad2000aaai-redundancy/)

@inproceedings{boufkhad2000aaai-redundancy,
  title     = {{Redundancy in Random SAT Formulas}},
  author    = {Boufkhad, Yacine and Roussel, Olivier},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2000},
  pages     = {273-278},
  url       = {https://mlanthology.org/aaai/2000/boufkhad2000aaai-redundancy/}
}