University of Lleida Lleida Spain;
University of Girona Girona Spain;
University of St Andrews St Andrews UK;
Technical University of Catalonia Barcelona Spain;
University of York York UK;
Automatic CSP reformulation; SAT; Pseudo-Boolean; At-most-one constraint;
机译:基于MDD的SAT编码,用于伪布尔约束具有大多数关系
机译:最多一个约束的CNF编码的下限
机译:将伪布尔约束转换为SAT
机译:自动检测最大限度的伪布尔约束的SAT编码的最大一体和一体的关系
机译:测试科学软件:自动检测变形关系的技术。
机译:使用编码器解码器架构的道路路面上的自动裂纹检测
机译:自动检测最大限度的伪布尔约束的SAT编码的最大一体和一体的关系
机译:sICaDaCounterfeit电子检测中的自动特征选择和改进分类。