On computing all abductive explanations from a propositional Horn theory
Journal of the ACM (JACM)
Logical analysis of data --- the vision of Peter L. Hammer
Annals of Mathematics and Artificial Intelligence
On the boolean connectivity problem for horn relations
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
On the Boolean connectivity problem for Horn relations
Discrete Applied Mathematics
Hi-index | 0.00 |