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}, }