Summary
A description of the architecture of a synthesizer of efficient constraint checkers for a significant number of constraints, as well as a domain specific language for
expressing heuristics. Implementations of both parts (checkers/heuristics).
More information & hyperlinks
Search
Organisations
- Not specified