Future Generation Computer Systems · 1988 · 498 citations · 0 references
ComputingComputer EngineeringComputer ScienceComputer ArchitectureHardware Description LanguagesProgramming LanguagesConstraint ProgrammingConstraint SatisfactionConstraint SolvingConstraint-based DesignHardware Modeling For Digital SystemsLogic ProgrammingConstraint Logic ProgrammingConstraint Modeling LanguagesConstraint-based Programming