Counting truth assignments of formulas of bounded tree-width or clique-width
Discrete Applied Mathematics
Solving satisfiability in ground logic with equality by efficient conversion to propositional logic
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
The representation of inconsistent knowledge in advanced knowledge based systems
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part II
| Hi-index | 0.00 |