Learning and Verifying Quantified Boolean Queries by Example

doi 10.1145/2463664.2465220
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press