6 citations · 6 across the 12 of their papers we have counts for
1 paper · 2 filters
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{…