Toupie: The µ-calculus over Finite Domains as a Constraint Language
Journal of Automated Reasoning
Tradeoffs in the complexity of backdoor detection
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Hi-index | 0.89 |