Knowledge Representation and Reasoning Group Technische Universitaet Dresden;
Knowledge Representation and Reasoning Group Technische Universitaet Dresden;
Knowledge Representation and Reasoning Group Technische Universitaet Dresden;
机译:通过CDCL SAT求解器中的单位传播进行子句化
机译:基于改进冲突条款处理的并行SAT求解算法
机译:将子句学习与基于网格的随机SAT解决方案相结合
机译:条款在分享SAT求解器中的Inprocessing的声音
机译:用于子句学习SAT求解器的高效算法
机译:SAT-598人体MRAPα诱导人MC4R组成型活性和肥胖相关人MC4R组成型活性的SAT-598共享信号概况
机译:基于社区和基于LBD的条款共享政策,用于并行饱和解决方案