Sugar; Sociology; Statistics; Conferences; Artificial intelligence; Informatics; Electronic mail;
机译:SAT中的本地冗余:受限制条款的概括
机译:通过CDCL SAT求解器中的单位传播进行子句化
机译:基于改进冲突条款处理的并行SAT求解算法
机译:看着内部文字块:在卫星解决方面的挖掘更有前景
机译:用于子句学习SAT求解器的高效算法
机译:一项针对抑郁症和反复自我伤害的年轻人进行远程解决问题的认知行为治疗与常规治疗的随机对照试验的可行性:经验教训(e-DASH)
机译:改进saT的sLs求解器的实现和具有长子句的k-saT的新启发式