Minimization, Learning, and Conformance Testing of Boolean Programs.

Viraj Kumar, P. Madhusudan, Mahesh Viswanathan

Browse the full CONCUR paper archive.