Annals of Mathematics and Artificial Intelligence
Backdoor Sets of Quantified Boolean Formulas
Journal of Automated Reasoning
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing
Discrete Applied Mathematics - Special issue: Boolean and pseudo-boolean funtions
Horn upper bounds and renaming
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
The Multivariate Algorithmic Revolution and Beyond
Upper and lower bounds for weak backdoor set detection
SAT'13 Proceedings of the 16th international conference on Theory and Applications of Satisfiability Testing
Hi-index | 0.04 |