Theoretical Computer Science - Selected papers in honor of Lawrence Harper
Information Processing Letters
Information Processing Letters
Complexity and algorithms for well-structured k-SAT instances
SAT'08 Proceedings of the 11th international conference on Theory and applications of satisfiability testing
Hi-index | 0.05 |