On functional dependencies in q-Horn theories
Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Some interesting research directions in satisfiability
Annals of Mathematics and Artificial Intelligence
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
Annals of Mathematics and Artificial Intelligence
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
Generalising Unit-Refutation Completeness and SLUR via Nested Input Resolution
Journal of Automated Reasoning
Hi-index | 5.23 |