| タイトル | Constraint Reasoning Over Strings |
| 本文（外部サイト） | http://hdl.handle.net/2060/20030054480 |
| 著者（英） | Pang, Wanlin; Golden, Keith; Koga, Dennis |
| 著者所属（英） | NASA Ames Research Center |
| 発行日 | 2003-04-15 |
| 言語 | eng |
| 内容記述 | This paper discusses an approach to representing and reasoning about constraints over strings. We discuss how many string domains can often be concisely represented using regular languages, and how constraints over strings, and domain operations on sets of strings, can be carried out using this representation. |
| NASA分類 | Systems Analysis and Operations Research |
| 権利 | No Copyright |
| URI | https://repository.exst.jaxa.jp/dspace/handle/a-is/223344 |
