Digital Systems Design Using Constraint Logic Programming

Radoslaw Szymanek, Flavius Gruian, Krzysztof Kuchcinski. Digital Systems Design Using Constraint Logic Programming. In Carmen Gervet, editor, Proceedings of the Second International Conference on the Practical Application of Constraint Technologies and Logic Programming, PACPL 2000, Crowne Plaza Midland Hotel, Manchester, UK, April 10-12, 2000. pages 149-166, Practical Application Company Ltd., 2000.

Abstract

Abstract is missing.