Amanote Research
Register
Sign In
Learning and Verifying Quantified Boolean Queries by Example
doi 10.1145/2463664.2465220
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2013
Authors
Azza Abouzied
Dana Angluin
Christos Papadimitriou
Joseph M. Hellerstein
Avi Silberschatz
Publisher
ACM Press