×

兹马思-数学第一资源

带细绳的迷你锌。(英语) Zbl 06791219
Hermenegildo,Manuel V.(ed.)等人,基于逻辑的程序综合与转换。第26届国际研讨会,LOPSTR2016,英国爱丁堡,2016年9月6日至8日。修订精选论文。查姆:斯普林格。选择。笔记计算。科学。1018459-75(2017年)。
摘要:字符串在现代编程语言中被广泛使用,对未知长度字符串的约束出现在许多实际应用中,如软件分析和验证、测试、模型检查和web安全。然而,实际上没有一个约束编程求解器支持字符串约束。我们引入字符串变量和一组合适的字符串约束作为MiniZinc建模语言的内置特性。此外,我们定义了一个解释器,用于将带有字符串的MiniZinc模型转换为只依赖整数变量的FlatZinc实例。这种转换是通过重写规则获得的,不需要扩展现有的FlatZinc规范。这为使用字符串建模组合问题提供了一个用户友好的界面,并使字符串和非字符串解算器都能够实际解决此类问题。
整个系列请参见[Zbl 1369.68025].

理学硕士:
68N30型 软件工程的数学方面(规范、验证、度量、需求等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接