...
机译:在对称情况下解决布尔可满足性的困难实例
Dept. of Electr. Eng. & Comput. Sci., Univ. of Michigan, Ann Arbor, MI, USA;
VLSI; network routing; symmetry; computability; Boolean algebra; graph theory; backtracking; circuit CAD; integrated circuit design; Boolean satisfiability algorithm; VLSI routing; graph automorphism; symmetry extraction; phase-shift symmetry; backtr;
机译:固定密度随机3-CNF实例的Horn分数,可满足性和求解器性能之间的相关性
机译:布尔可满足性中的对称性
机译:动态对称性破缺,可满足布尔运算
机译:在对称情况下求解困难的SAT实例
机译:布尔可满足性中的对称性破坏和容错能力。
机译:SPABBATS:一种基于布尔可满足性的途径发现方法有助于表征抑制突变体
机译:在对称存在下求解布尔可满足性的困难实例
机译:在对称性存在下解决布尔可满足性的难点实例