Polynomially solvable satisfiability problems

Extended Horn sets in propositional logic

Journal of the ACM (JACM)

On functional dependencies in q-Horn theories

Artificial Intelligence

Anytime clausal reasoning

Annals of Mathematics and Artificial Intelligence

Some interesting research directions in satisfiability

Annals of Mathematics and Artificial Intelligence

The Propositional Formula Checker HeerHugo

Journal of Automated Reasoning

A perspective on certain polynomial-time solvable classes of satisfiability

Discrete Applied Mathematics

Lean clause-sets: generalizations of minimally unsatisfiable clause-sets

Discrete Applied Mathematics - The renesse issue on satisfiability

Upper and Lower Bounds on the Complexity of Generalised Resolution and Generalised Constraint Satisfaction Problems

Annals of Mathematics and Artificial Intelligence

Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing

Discrete Applied Mathematics - Special issue: Boolean and pseudo-boolean funtions

Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing

Discrete Applied Mathematics - Special issue: Boolean and pseudo-boolean funtions

On computing minimal models

AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence