Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible.

Marius Kamp, Michael Philippsen

Browse the full VMCAI paper archive.