Declarative Programming of Search Problems with Built-in Arithmetic

Eugenia Ternovska, David G. Mitchell. Declarative Programming of Search Problems with Built-in Arithmetic. In Craig Boutilier, editor, IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009. pages 942-947, 2009. [doi]

Authors

Eugenia Ternovska

This author has not been identified. Look up 'Eugenia Ternovska' in Google

David G. Mitchell

This author has not been identified. Look up 'David G. Mitchell' in Google