Generating Optimal Code Using Answer Set Programming.

Tom Crick, Martin Brain, Marina De Vos, John P. Fitch

Browse the full LPNMR paper archive.