26 citations · 119 across the 19 of their papers we have counts for
Showing 2023 · cs.AIShow all
3 papers · 2 filters
cs.AI2023
Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG
Hui-Ling Zhen, Naixing Wang, Junhua Huang +3
Due to the increasing challenges posed by the relentless rise in the design complexity of integrated circuits, Boolean Satisfiability (SAT) has emerged as a robust alternative to s…
cs.AI2023★ 19 cited
Heuristics for Vehicle Routing Problem: A Survey and Recent Advances
Fei Liu, Chengyu Lu, Lin Gui +3
Vehicle routing is a well-known optimization research topic with significant practical importance. Among different approaches to solving vehicle routing, heuristics can produce a s…
cs.AI2023★ 1 cited
HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline
Yang Li, Xinyan Chen, Wenxuan Guo +6
Industrial SAT formula generation is a critical yet challenging task. Existing SAT generation approaches can hardly simultaneously capture the global structural properties and main…