Concepedia
BYTE archive · 1987 · 24 citations · 0 references
Mathematical ProgrammingConstraint SolvingEngineeringConstraint SatisfactionAutomated ReasoningFormal MethodsComputer ScienceConstraint Logic ProgrammingConstraint Programming