3 citations · 11 across the 15 of their papers we have counts for
1 paper · 2 filters
Virendra Sule
This paper develops a parallel computational solver for computing all satifying assignments of a Boolean system of equations defined by Boolean functions of several variables. Whil…