Αποστολή με SMS: Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure