Terms for subject Programming containing encoding constraints

English	Russian
length of the encodings of the clock constraints	длина записи временных ограничений (ssn)
quadratic blowup in the length of the encodings of the clock constraints	квадратичное увеличение длины записи временных ограничений (ssn)