Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean StructureChristian Herde₹5,449
