Daniel Ovalle
Results
1
issues of
Daniel Ovalle
It would be useful to support expressions of the type: $$ [AtLeast(1,Y_i) \wedge AtLeast(1,Z_j)] \Leftrightarrow W $$ Where Y and Z are Boolean variables associated to unrelated disjuncts. This is...
enhancement