1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.DS2014
Generalized cofactors and decomposition of Boolean satisfiability problems
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{…
cs.DS2014★ 1 cited
An algorithm for Boolean satisfiability based on generalized orthonormal expansion
Virendra Sule
This paper proposes an algorithm for deciding consistency of systems of Boolean equations in several variables with co-efficients in the two element Boolean algebra …