文法约束的分解
人工智能
2009-03-04 v1 形式语言与自动机理论
摘要
广泛的约束可以使用自动机或形式语言紧凑地指定。在最近的一系列论文中，我们证明了对此类规范进行推理的有效方法是将它们分解为基本约束。例如，我们可以随后使用最先进的SAT求解器，并从其高级特性中获益，如快速单文字传播、子句学习和基于冲突的搜索启发式。该方法有望用于解决调度、排班和配置中的组合问题，以及生物信息学、软件测试和自然语言处理等更多不同领域的问题。此外，分解可能是传播其他全局约束的有效方法。
引用
@article{arxiv.0903.0470,
title = {Decompositions of Grammar Constraints},
author = {Claude-Guy Quimper and Toby Walsh},
journal= {arXiv preprint arXiv:0903.0470},
year = {2009}
}
备注
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence