Symbolic Uniform Sampling with XOR CircuitsYen Ting LinJie Hong R. Jianget al.2020ICCAD 2020Conference paper