Learning and verifying quantified boolean queries by example.

Azza Abouzied, Dana Angluin, Christos H. Papadimitriou, Joseph M. Hellerstein, Avi Silberschatz

Browse the full PODS paper archive.