Decision making; Reasoning; Computer program verification; Boolean algebra; Logic; Computer programs; Arithmetic; Linear programming; Theses; Coding; Adaptive systems;
机译:用于等效性检查和功能属性验证的强大布尔推理
机译:基于广义虚拟滑动窗口的多族地球拍自适应算术编码器的高效硬件实现
机译:JPEG 2000标准的自适应算术编码器/解码器的系统级设计
机译:通过布尔和区间算术推理简化RTL SAT
机译:自适应急切布尔编码,用于验证中的算术推理。
机译:通过哺乳动物细胞中DNA切除的布尔逻辑和算术的单层平台
机译:通过布尔和区间算术推理简化RTL SAT