Constraint and Declarative Languages for Engineering Applications: The TK!Solver Contribution (1985)

by M Konopasek, S Jayaraman
Venue:Proceedings of the IEEE