Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (3 paper(s))
2. Inf. Comput. (2 paper(s))
3. Comput. J. (1 paper(s))
4. Formal Asp. Comput. (1 paper(s))
5. J. Autom. Reasoning (1 paper(s))
6. J. Symb. Comput. (1 paper(s))
7. Theory Comput. Syst. (1 paper(s))
8. Discrete Mathematics (1 paper(s))
9. Electronic Colloquium on Computational Complexity (ECCC) (1 paper(s))
10. Eur. J. Comb. (1 paper(s))

Conferences

1. (7 paper(s))
2. Mathematical Foundations of Computer Science (MFCS) (4 paper(s))
3. International Conference on Automated Deduction (CADE) (3 paper(s))
4. Theory and Applications of Satisfiability Testing (2 paper(s))
5. Symposium on Theoretical Aspects of Computer Science (STACS) (2 paper(s))
6. Algebraic and Logic Programming (ALP) (1 paper(s))
7. Principles and Practice of Constraint Programming (CP) (1 paper(s))
8. Conditional and Typed Rewriting Systems (CTRS) (1 paper(s))
9. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
10. International Joint Conference on Artificial Intelligence (IJCAI) (1 paper(s))
11. Russian Conference on Logic Programming / (1 paper(s))
12. Logic Programming and Non-Monotonic Reasoning (LPNMR) (1 paper(s))
13. Rewriting Techniques and Applications (RTA) (1 paper(s))
14. TAPSOFT (1 paper(s))