Kaviraj Chopra Sarma B. K. Vrudhula Implicit pseudo boolean enumeration algorithms for input vector control. 767-772 2004 conf/dac/2004 DAC https://doi.org/10.1145/996566.996774 db/conf/dac/dac2004.html#ChopraV04