On functional dependencies in q-Horn theories
Artificial Intelligence
Horn minimization by iterative decomposition
Annals of Mathematics and Artificial Intelligence
Quasi-Acyclic Propositional Horn Knowledge Bases: Optimal Compression
IEEE Transactions on Knowledge and Data Engineering
Generalized domination in closure systems
Discrete Applied Mathematics - Special issue: Discrete mathematics & data mining II (DM & DM II)
A survey on knowledge compilation
AI Communications
On computing all abductive explanations from a propositional Horn theory
Journal of the ACM (JACM)
Recognition of interval Boolean functions
Annals of Mathematics and Artificial Intelligence
New Results for Horn Cores and Envelopes of Horn Disjunctions
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Exclusive and essential sets of implicates of Boolean functions
Discrete Applied Mathematics
Generalized domination in closure systems
Discrete Applied Mathematics - Special issue: Discrete mathematics & data mining II (DM & DM II)
Fundamental study: The multiple facets of the canonical direct unit implicational basis
Theoretical Computer Science
A subclass of Horn CNFs optimally compressible in polynomial time
Annals of Mathematics and Artificial Intelligence
On approximate horn formula minimization
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming
Disjoint essential sets of implicates of a CQ Horn function
Annals of Mathematics and Artificial Intelligence
Boolean functions with a simple certificate for CNF complexity
Discrete Applied Mathematics
Hydras: directed hypergraphs and horn formulas
WG'12 Proceedings of the 38th international conference on Graph-Theoretic Concepts in Computer Science
A decomposition method for CNF minimality proofs
Theoretical Computer Science
Hi-index | 0.89 |