Solving symbolic regression problems with formal constraints.

Iwo Bladek, Krzysztof Krawiec

Browse the full GECCO paper archive.