"AMPL"@cs .