3 citations · 11 across the 15 of their papers we have counts for
Showing 2016Show 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…
eess.SY2016★ 1 cited
Stabilization Theory for Active Multi Port Networks
Mayuresh Bakshi, Virendra Sule, Maryam Shoejai Baghini
This paper proposes a theory for designing stable interconnection of linear active multi-port networks at the ports. Such interconnections can lead to unstable networks even if the…
cs.CC2016
Projective cofactor decompositions of Boolean functions and the satisfiability problem
Madhav Desai, Virendra Sule
Given a CNF formula , we present a new algorithm for deciding the satisfiability (SAT) of and computing all solutions of assignments. The algorithm is based on the concept o…