A study of audaciousness problem in automatic logic-synthesis

• 自动逻辑综合中有关冒险问题的探讨