TOAST: Applying Answer Set Programming to Superoptimisation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martin Brain, Tom Crick, Marina De Vos, John Fitch. TOAST: Applying Answer Set Programming to Superoptimisation. In Sandro Etalle, Miroslaw Truszczynski, editors, Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4079 of Lecture Notes in Computer Science, pages 270-284, Springer, 2006. [doi]

This author has not been identified. Look up 'Martin Brain' in GoogleThis author has not been identified. Look up 'Tom Crick' in GoogleThis author has not been identified. Look up 'Marina De Vos' in GoogleThis author has not been identified. Look up 'John Fitch' in Google

runs on WebDSL