Detecting Non-cyclicity by Abstract Compilation into Boolean Functions.

Stefano Rossignoli Fausto Spoto

Published in: VMCAI (2006)

Keyphrases

boolean functions
uniform distribution
dnf formulae
threshold functions
prime implicants
relevant variables
functional properties
polynomial size
linear threshold
pseudo boolean functions
bi decomposition
multi valued
search algorithm
statistical queries
pac learning
membership queries
multi class