Conference Proceedings

Modelling for lazy clause generation

O Ohrimenko, PJ Stuckey

Theory of Computing 2008. Proceedings of the Fourteenth Computing: The Australasian Theory Symposium (CATS 2008) | Published : 2008