机译:满意度和约束满意度问题中的重尾现象
satisfiability; constraint satisfaction; heavy tails; backtracking;
机译:Skolem算术周围的电路可满足和约束满足
机译:一个局部不可约束的随机约束满足性问题的可满足性阈值
机译:Lukasiewicz逻辑中的满足性检查,作为有限约束满足性
机译:可满足性和约束满足问题的重尾现象
机译:随机约束满足问题中的阈值现象
机译:邻接和瘫痪约束:可靠性和一致性
机译:演绎数据库中约束满足和约束可满足性的统一方法
机译:传递约束的布尔可满足性