征稿范围
The topics of interest include but not limited to:
Algebra and Formal Aspects
ATPG and SAT
Automatic Reasoning
Bio-Inspired and Novel
Hardware Algorithms
Communication Systems
Computer Arithmetic
Computer Security
Data Bases
Data Mining
Decision Diagram
留言