Journals and Conferences that author prefers

Journals

1. Discrete Mathematics (9 paper(s))
2. J. Autom. Reasoning (5 paper(s))
3. J. Symb. Comput. (5 paper(s))
4. Acta Inf. (2 paper(s))
5. Ann. Math. Artif. Intell. (2 paper(s))
6. Des. Codes Cryptography (2 paper(s))
7. Ars Comb. (1 paper(s))
8. Electr. Notes Theor. Comput. Sci. (1 paper(s))
9. Fundam. Inform. (1 paper(s))
10. J. Comb. Theory, Ser. B (1 paper(s))
11. Theory Comput. Syst. (1 paper(s))
12. European Journal of Operational Research (1 paper(s))

Conferences

1. International Conference on Automated Deduction (CADE) (11 paper(s))
2. Rewriting Techniques and Applications (RTA) (5 paper(s))
3. National Conference on Artificial Intelligence (AAAI) (3 paper(s))
4. Theory and Applications of Satisfiability Testing (3 paper(s))
5. Artificial Intelligence and Mathematics (2 paper(s))
6. (2 paper(s))
7. Conditional and Typed Rewriting Systems (CTRS) (2 paper(s))
8. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (2 paper(s))
9. Russian Conference on Logic Programming / (1 paper(s))
10. Artificial Intelligence and Symbolic Computation (AISC) (1 paper(s))
11. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
12. Birthday ... (1 paper(s))
13. Principles and Practice of Constraint Programming (CP) (1 paper(s))
14. European Conference on Artificial Intelligence (ECAI) (1 paper(s))
15. International Conference on Computer Design (ICCD) (1 paper(s))
16. International Joint Conference on Artificial Intelligence (IJCAI) (1 paper(s))
17. IEEE International Symposium on Multiple-Valued Logic (ISMVL) (1 paper(s))