Personal information

No personal information available

Activities

Works (1)

HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline

2023-08-06 | Conference paper
Contributors: Yang Li; Xinyan Chen; Wenxuan Guo; Xijun Li; Wanqian Luo; Junhua Huang; Hui-Ling Zhen; Mingxuan Yuan; Junchi Yan
Source: check_circle
Crossref