Conference Proceedings

Symmetries and lazy clause generation

G Chu, PJ Stuckey, MG De La Banda, C Mears

Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence | Published : 2011

Citation metrics