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
Conference Proceedings
O Ohrimenko, PJ Stuckey
Theory of Computing 2008. Proceedings of the Fourteenth Computing: The Australasian Theory Symposium (CATS 2008) | Published : 2008
