Lokální přístup k automatické korekci precedenčních a zdrojových podmínek v ručně modifikovaných rozvrzích (článek č. 6)

Abstrakt

Článek popisuje techniky automatické korekce precedenčních a zdrojových podmínek v rozvrzích a dokazuje korektnost těchto technik.

Klíčová slova

• local
• approach
• automated
• correction
• violated
• precedence
• resource
• constraints
• manually
• altered
• schedules
• Paper