Constructing small sample spaces satisfying given constraintsDaphne KollerNimrod Lvlegiddo1993STOC 1993