Graph explorer

Research map

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

Yi Chang
Map detail
Yi Chang8 visible / 8 total nodes / 28 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-authorshipWorks onWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipTopic signalTopic signalAuthorshipYi ChangAYi ChangResearcherShixin SunAShixin SunResearcherAstrid KlipfelAAstrid KlipfelResearcherOndřej KuželkaAOndřej KuželkaResearcherYuanhong WangAYuanhong WangResearcherLogic in Computer ScienceTLogic in Computer Science2208 worksArtificial IntelligenceTArtificial Intelligence22915 worksA Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting QuantifiersWA Fast Model Counting A...preprint / 2026
Person7 links

Yi Chang

Researcher