“…A CTP (Tsamardinos et al , 2003) is a tuple V, E, L, OV, O, P where P is a set of Boolean atomic propositions, V is a set of variables, E is a set of temporal constraints of the form l ij ≤ x i − x j ≤ u ij with x i , x j ∈ V and l ij , u ij ∈ ℜ, L : V → Q * is a function attaching conjunctions of literals in Q = {p i : p i ∈ P } ∪ {¬p i : p i ∈ P } to each variable in V , OV ⊆ V is the set of observation variables, and O : P → OV is a bijective function that associates an observation variable to a proposition. The observation variable O(A) provides the truth value for A.…”