Automatically Generated CSP Specifications.
Frantisek ScuglikMiroslav SvédaPublished in: J. Univers. Comput. Sci. (2003)
Keyphrases
- automatically generated
- constraint satisfaction problems
- automatically generate
- constraint satisfaction
- automatically created
- automatically generating
- formal specification
- decomposition methods
- constraint propagation
- manually created
- manually generated
- arc consistency
- manually constructed
- general purpose
- constraint programming
- ground truth
- code generator