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.

Supratik Chakraborty
SearchCollections
Map detail
Supratik Chakraborty13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSupratik ChakrabortyASupratik ChakrabortyResearcherOn Uniformly Sampling Traces of a Transition System (Extended Version)WOn Uniformly Sampling T...preprint / 2020Verifying Array Manipulating Programs with Full-Program InductionWVerifying Array Manipul...preprint / 2020A Scalable Approximate Model CounterWA Scalable Approximate ...preprint / 2013A Scalable and Nearly Uniform Generator of SAT WitnessesWA Scalable and Nearly U...preprint / 2013Balancing Scalability and Uniformity in SAT Witness GeneratorWBalancing Scalability a...preprint / 2014Distribution-Aware Sampling and Weighted Model Counting for SATWDistribution-Aware Samp...preprint / 2014Word-level Symbolic Trajectory EvaluationWWord-level Symbolic Tra...preprint / 2015Approximate Probabilistic Inference via Word-Level CountingWApproximate Probabilist...preprint / 2016Matching Multiplications in Bit-Vector FormulasWMatching Multiplication...preprint / 2016On eventual non-negativity and positivity for the weighted sum of powers of matricesWOn eventual non-negativ...preprint / 2022On synthesizing Skolem functions for first order logic formulaeWOn synthesizing Skolem ...preprint / 2022Determinization of $ω$-automata unifiedWDeterminization of $ω$-...preprint / 2011
Person12 links

Supratik Chakraborty

Researcher

PaperOn Uniformly Sampling Traces of a Transition System (Extended Version)Authorship / preprint / 2020PaperVerifying Array Manipulating Programs with Full-Program InductionAuthorship / preprint / 2020PaperA Scalable Approximate Model CounterAuthorship / preprint / 2013PaperA Scalable and Nearly Uniform Generator of SAT WitnessesAuthorship / preprint / 2013PaperBalancing Scalability and Uniformity in SAT Witness GeneratorAuthorship / preprint / 2014PaperDistribution-Aware Sampling and Weighted Model Counting for SATAuthorship / preprint / 2014PaperWord-level Symbolic Trajectory EvaluationAuthorship / preprint / 2015PaperApproximate Probabilistic Inference via Word-Level CountingAuthorship / preprint / 2016

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)