Transfer Function Synthesis without Quantifier Elimination.

Jrg Brauer, Andy King

Browse the full ESOP paper archive.