Declarative Programming of Search Problems with Built-in Arithmetic.

Eugenia Ternovska, David G. Mitchell

Browse the full IJCAI paper archive.