Search

Junhua Huang

IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability
Parallel gröbner basis rewriting and memory optimization for efficient multiplier verification
Deepgate2: Functionality-aware circuit representation learning
Hardsatgen: Understanding the difficulty of hard sat formula generation and a strong structure-hardness-aware baseline
Satformer: transformer-based unsat core learning
Accelerate sat-based atpg via preprocessing and new conflict management heuristics
Neural fault analysis for sat-based atpg

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.