Modelling for lazy clause generation (2008)

by Olga Ohrimenko, Peter J Stuckey
Venue:In CATS ’08: Proceedings of the fourteenth symposium on Computing: the Australasian theory