A Control Language for Designing Constraint Solvers

Carlos Castro, Eric Monfroy. A Control Language for Designing Constraint Solvers. In Dines Bjørner, Manfred Broy, Alexandre V. Zamulin, editors, Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI 99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings. Volume 1755 of Lecture Notes in Computer Science, pages 402-415, Springer, 1999. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.