PBINT, A Logic for Modelling Search Problems Involving Arithmetic.

Shahab Tasharrofi, Eugenia Ternovska

Browse the full LPAR paper archive.