Virendra Sule

Identifiers

• name variant Virendra Sule 0.60 · backfill

Papers (7)

1. Analysis of Periodic Feedback Shift Registers cs.SY · 2019 · author #2
2. Implicant based parallel all solution solver for Boolean satisfiability cs.DS · 2016 · author #1
3. Stabilization Theory for Active Multi Port Networks cs.SY · 2016 · author #2
4. Projective cofactor decompositions of Boolean functions and the satisfiability problem cs.CC · 2016 · author #2
5. Generalized cofactors and decomposition of Boolean satisfiability problems cs.DS · 2014 · author #2
6. An algorithm for Boolean satisfiability based on generalized orthonormal expansion cs.DS · 2014 · author #1
7. Generalization of Boole-Shannon expansion, consistency of Boolean equations and elimination by orthonormal expansion cs.CC · 2013 · author #1

Mentions

• 1904.11794 #2 · arxiv_oai · confidence 0.70 Virendra Sule
• 1606.03194 #2 · arxiv_oai · confidence 0.70 Virendra Sule
• 1412.2341 #2 · backfill · confidence 0.70 Virendra Sule
• 1406.4712 #1 · backfill · confidence 0.70 Virendra Sule
• 1306.2484 #1 · backfill · confidence 0.70 Virendra Sule

Frequent Coauthors

• Madhav Desai 2 shared papers
• Maryam Shoejai Baghini 1 shared papers
• Mayuresh Bakshi 1 shared papers
• Ramachandran Anantharaman 1 shared papers