3 citations · 5 across the 4 of their papers we have counts for
Showing cs.DSShow all
3 papers · 1 filter
cs.DS2016★ 3 cited
Implicant based parallel all solution solver for Boolean satisfiability
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…
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 …