Erratum: Stochastic boolean satisfiability (Journal of Automated Reasoning (2001) 27 (251-296))

Authors

Michael L. Littman, AT&T Laboratories Florham Park
Stephen M. Majercik, AT&T Laboratories Florham Park
Toniann Pitassi, AT&T Laboratories Florham Park

Document Type

Article

Publication Date

1-1-2002

Recommended Citation

Littman, Michael L.; Majercik, Stephen M.; and Pitassi, Toniann, "Erratum: Stochastic boolean satisfiability (Journal of Automated Reasoning (2001) 27 (251-296))" (2002). Computer Science Faculty Publications. 48.
https://digitalcommons.bowdoin.edu/computer-science-faculty-publications/48