Login / Signup

Enumerating Minimal Hypotheses and Dualizing Monotone Boolean Functions on Lattices.

Mikhail A. BabinSergei O. Kuznetsov
Published in: ICFCA (2011)
Keyphrases