Which formulae shrink under random restrictions?

Hana Chockler, Uri Zwick. Which formulae shrink under random restrictions?. In SODA. pages 702-708, 2001. [doi]

@inproceedings{ChocklerZ01,
  title = {Which formulae shrink under random restrictions?},
  author = {Hana Chockler and Uri Zwick},
  year = {2001},
  doi = {10.1145/365411.365755},
  url = {http://doi.acm.org/10.1145/365411.365755},
  researchr = {https://researchr.org/publication/ChocklerZ01},
  cites = {0},
  citedby = {0},
  pages = {702-708},
  booktitle = {SODA},
}