Cooking String-Integer Conversions with Noodles.

Vojtech Havlena, Luks Holk, Ondrej Lengl, Juraj Sc

Browse the full SAT paper archive.