Modelling for Lazy Clause Generation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Olga Ohrimenko, Peter J. Stuckey. Modelling for Lazy Clause Generation. In James Harland, Prabhu Manyem, editors, Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings. Volume 77 of CRPIT, pages 27-37, Australian Computer Society, 2008. [doi]

This author has not been identified. Look up 'Olga Ohrimenko' in GoogleThis author has not been identified. Look up 'Peter J. Stuckey' in Google

runs on WebDSL