Some interesting research directions in satisfiability
Annals of Mathematics and Artificial Intelligence
Improving a fixed parameter tractability time bound for the shadow problem
Journal of Computer and System Sciences - Special issue on Parameterized computation and complexity
Hi-index | 0.00 |