Uppsala University Sweden;
Academia Sinica Taiwan;
Brno University of Technology Czech Republic;
Linköping University Sweden;
Transducers; Automata; Grammar; Mathematical model; Tools; Security; Context modeling;
机译:针对字符串约束的高效SMT求解器
机译:基于SMT的约束答案集求解器EZSMT(系统描述)
机译:串约束解决的虚线字符串
机译:Trau:SMT求解器用于字符串约束
机译:EZSMT解算器:约束答案集解满足SMT。
机译:西部灌丛鸦(Aphelocoma californica)通过弦和奖赏的空间关系解决多弦问题
机译:基于smT的约束应答集求解器EZsmT(系统描述)
机译:为实际非线性约束理论创建快速smT求解器。