BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Vijay Ganesh
SearchCollections
Map detail
Vijay Ganesh21 visible / 21 total nodes / 63 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextRelated contextRelated contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipWorks onWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalAuthorshipAuthorshipVijay GaneshAVijay GaneshResearcherMathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMsWMathConstraint: Automat...preprint / 2026Piyush JhaAPiyush JhaResearcherViresh PatiAViresh PatiResearcherZhengyu LiAZhengyu LiResearcherRahul GargARahul GargResearcherYatharth SejpalAYatharth SejpalResearcherSTP/HAMPI and Computer SecurityWSTP/HAMPI and Computer ...preprint / 2012Cryptographic Path Hardening: Hiding Vulnerabilities in Software through CryptographyWCryptographic Path Hard...preprint / 2012(Un)Decidability Results for Word Equations with Length and Regular Expression ConstraintsW(Un)Decidability Result...preprint / 2013The Meaning of Attack-Resistant SystemsWThe Meaning of Attack-R...preprint / 2015Undecidability of a Theory of Strings, Linear Arithmetic over Length, and String-Number ConversionWUndecidability of a The...preprint / 2016Machine LearningTMachine Learning49008 worksArtificial IntelligenceTArtificial Intelligence22915 worksLogic in Computer ScienceTLogic in Computer Science2208 worksCDCL(Crypto) SAT Solvers for CryptanalysisWCDCL(Crypto) SAT Solver...preprint / 2020ARBAC Policy for a Large Multi-National BankWARBAC Policy for a Larg...preprint / 2011SAT-based Analysis of Large Real-world Feature Models is EasyWSAT-based Analysis of L...preprint / 2015Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT SolversWUnderstanding VSIDS Bra...preprint / 2015Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash FunctionsWAdaptive Restart and CE...preprint / 2016xAI-GAN: Enhancing Generative Adversarial Networks via Explainable AI SystemsWxAI-GAN: Enhancing Gene...preprint / 2022
Person20 links

Vijay Ganesh

Researcher

PaperMathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMsAuthorship / preprint / 2026PersonPiyush JhaCo-authorship / ResearcherPersonViresh PatiCo-authorship / ResearcherPersonZhengyu LiCo-authorship / ResearcherPersonRahul GargCo-authorship / ResearcherPersonYatharth SejpalCo-authorship / ResearcherPaperSTP/HAMPI and Computer SecurityAuthorship / preprint / 2012PaperCryptographic Path Hardening: Hiding Vulnerabilities in Software through CryptographyAuthorship / preprint / 2012

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)