6 citations · 6 across the 12 of their papers we have counts for
1 paper · 1 filter
Madhav Desai, Virendra Sule
We propose an approach for decomposing Boolean satisfiability problems while extending recent results of \cite{sul2} on solving Boolean systems of equations. Developments in \cite{…