Linear Absolute Value Relation Analysis.

Liqian Chen, Antoine Min, Ji Wang, Patrick Cousot

Browse the full ESOP paper archive.