Worst-case groundness analysis using definite boolean functions.

Samir Genaim Jacob M. Howe Michael Codish

Published in: Theory Pract. Log. Program. (2001)

Keyphrases

boolean functions
worst case
uniform distribution
relevant variables
learning algorithm
upper bound
prime implicants