Minghao Yin | IJCAI

School of Information Science and Technology , Northeast Normal University , Changchun , China.

12 papers in the IJCAI proceedings

IJCAI 2026

Towards Cardinality-Aware Local Search for SAT with Cardinality Constraints

with Shuli Hu, Dian Ling, Jiaqi Li

doi:10.24963/ijcai.2026/251

Details PDF

Variable-Oriented Adaptive Singleton Consistency

with Yaling Wu, Hongbo Li

doi:10.24963/ijcai.2026/266

Details PDF

gDMC: A Generic Distributed Model Counting Framework via Work-Stealing

with Zhenghang Xu, Junping Zhou, Jean-Marie Lagniez

doi:10.24963/ijcai.2026/268

Details PDF

IJCAI 2024

Hierarchical Reinforcement Learning for Point of Interest Recommendation

with Yanan Xiao, Lu Jiang, Kunpeng Liu, Yuanbo Xu, Pengyang Wang

doi:10.24963/ijcai.2024/272

Details PDF

Hierarchical Reinforcement Learning on Multi-Channel Hypergraph Neural Network for Course Recommendation

with Lu Jiang, Yanan Xiao, Xinxin Zhao, Yuanbo Xu, Shuli Hu, Pengyang Wang

doi:10.24963/ijcai.2024/232

Details PDF

Nukplex: An Efficient Local Search Algorithm for Maximum K-Plex Problem

with Rui Sun, Yiyuan Wang, Shimao Wang, Hui Li, Ximing Li

doi:10.24963/ijcai.2024/777

Details PDF

IJCAI 2022

AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis

with Jiaxin Liang, Feifei Ma, Junping Zhou

doi:10.24963/ijcai.2022/259

Details PDF

HEA-D: A Hybrid Evolutionary Algorithm for Diversified Top-k Weight Clique Search Problem

with Jun Wu, Chu-Min Li, Yupeng Zhou, Xin Xu, Dangdang Niu

doi:10.24963/ijcai.2022/668

Details PDF

IJCAI 2018

A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem on Massive Graphs

with Yiyuan Wang, Shaowei Cai, Jiejiang Chen

doi:10.24963/ijcai.2018/210

Details PDF

An Exact Algorithm for Maximum k-Plexes in Massive Graphs

with Jian Gao, Jiejiang Chen, Rong Chen, Yiyuan Wang

doi:10.24963/ijcai.2018/201

Details PDF

IJCAI 2017

Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function (Extended Abstract)

with Yiyuan Wang, Shaowei Cai

doi:10.24963/ijcai.2017/728

Details PDF

New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract)

with Yong Lai, Dayou Liu

doi:10.24963/ijcai.2017/712

Details PDF