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.

Kuldeep S. Meel
SearchCollections
Map detail
Kuldeep S. Meel19 visible / 19 total nodes / 45 links

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

Related contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipAuthorshipAuthorshipAuthorshipWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalAuthorshipKuldeep S. MeelAKuldeep S. MeelResearcherQuantifying Sensitivity for Tree Ensembles: A symbolic and compositional approachWQuantifying Sensitivity...preprint / 2026S. AkshayAS. AkshayResearcherAshutosh GuptaAAshutosh GuptaResearcherChaitanya GargAChaitanya GargResearcherAjinkya NaikAAjinkya NaikResearcherSparse Hashing for Scalable Approximate Model Counting: Theory and PracticeWSparse Hashing for Scal...preprint / 2020Sampling Techniques for Boolean SatisfiabilityWSampling Techniques for...preprint / 2014Constrained Sampling and Counting: Universal Hashing Meets SAT SolvingWConstrained Sampling an...preprint / 2015Artificial IntelligenceTArtificial Intelligence22915 worksMachine LearningTMachine Learning49008 worksInduction Models on \mathbb{N}WInduction Models on \ma...preprint / 2020Designing New Phase Selection HeuristicsWDesigning New Phase Sel...preprint / 2020IMLI: An Incremental Framework for MaxSAT-Based Learning of Interpretable Classification RulesWIMLI: An Incremental Fr...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 / 2014ADHA: Automatic Data layout framework for Heterogeneous ArchitecturesWADHA: Automatic Data la...preprint / 2014Approximate Probabilistic Inference via Word-Level CountingWApproximate Probabilist...preprint / 2016
Person18 links

Kuldeep S. Meel

Researcher

PaperQuantifying Sensitivity for Tree Ensembles: A symbolic and compositional approachAuthorship / preprint / 2026PersonS. AkshayCo-authorship / ResearcherPersonAshutosh GuptaCo-authorship / ResearcherPersonChaitanya GargCo-authorship / ResearcherPersonAjinkya NaikCo-authorship / ResearcherPaperSparse Hashing for Scalable Approximate Model Counting: Theory and PracticeAuthorship / preprint / 2020PaperSampling Techniques for Boolean SatisfiabilityAuthorship / preprint / 2014PaperConstrained Sampling and Counting: Universal Hashing Meets SAT SolvingAuthorship / preprint / 2015

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)