Generating Numerical Literals During Refinement.

Simon Anthony, Alan M. Frisch

Browse the full ILP paper archive.