47 results
- [bib] 2020
- [bib] 2013
Paul Beame, Jerry Li, Sudeepa Roy, and Dan Suciu, "Lower Bounds for Exact Model Counting and Applications in Probabilistic Databases," Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence, UAI 2013, Bellevue, WA, USA, August 11-15, 2013, 2013. Beame_2013 - [bib] 2015
- [bib] 1980
- [bib] 1993
- [bib] 2019
- [bib] 2014
- [bib] 2016
- [bib] 2016
- [bib] 1986
- [bib] 1991
- [bib] 1992
- [bib] 2016
- [bib] 2026
- [bib] 1978
- [bib] 1971
- [bib] 2001
- [bib] 2001
- [bib] 2002
- [bib] 2011
- [bib] 2002
- [bib] 2007
- [bib] 2013
- [bib] 1978
- [bib] 1994
- [bib] 1995
- [bib] 2002
- [bib] 2016
- [bib] 2003
- [bib] 1973
L. A. Levin, "Universal Search Problems," Problems of Information Transmission, vol. 9, pp. 265–266, 1973. Levin_1973 - [bib] 2000
- [bib] 1998
C. Meinel and T. Theobald, "Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications," 1998. Meinel_Theobald_1998 - [bib] 2008
- [bib] 2010
- [bib] 2010
- [bib] 1952
- [bib] 1996
- [bib] 2003
- [bib] 2000
- [bib] 1996
- [bib] 2010
- [bib] 1995
- [bib] —
anonymous, "A Tractable Circuit Zoo," forthcoming. TCZ_Forthcoming - [bib] 2015
- [bib] 2024
- [bib] 1987
- [bib] 2000