机译:使用变量的对称性来降低逻辑电路的复杂性
Automata; variable symmetry; logical circuits;
机译:使用变量的对称性来降低逻辑电路的复杂性
机译:使用对称变量来降低逻辑电路的复杂性
机译:可变测距的可编程逻辑集成电路的仿真
机译:提出一种缩小RTS逻辑模型复杂性的正式方法
机译:逻辑问题的计算复杂性:公式,依赖关系和电路(关系数据库,KROM,嵌入式多值,依赖关系)
机译:使用计算量度预测抽象图案的视觉复杂度:镜面对称性对复杂度感知的影响
机译:受限制的双变量FO + mOD句子,电路和通信复杂性