Equational characterizations of Boolean function classes

On functional dependencies in q-Horn theories

Artificial Intelligence

Exact learning of DNF formulas using DNF hypotheses

Journal of Computer and System Sciences - Special issue on COLT 2002

Functional equations, constraints, definability of function classes, and functions of Boolean variables

Acta Cybernetica

On a quasi-ordering on Boolean functions

Theoretical Computer Science

Algebraic and topological closure conditions for classes of pseudo-Boolean functions

Discrete Applied Mathematics

The arity gap of order-preserving functions and extensions of pseudo-Boolean functions

Discrete Applied Mathematics

Closure operators for ROBDDs

VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation