Instantaneous reaction-time in dynamic consistency checking of conditional simple temporal networks - Cairo, Massimo; Comin, Carlo; Rizzi, Romeo (Journal of logical and algebraic methods in programming, 2020)
Keywords: Conditional simple temporal networks; Dynamic-consistency; Hyper temporal networks; Instantaneous reaction-time; Singly-exponential time algorithm; ϵ-dynamic-consistency; ϵ-dynamic-consistency; Instantaneous reaction-time; Dynamic-consistency; Hyper temporal networks; Singly-exponential time algorithm; Conditional simple temporal networks