Journals and Conferences that author prefers

Journals

1. IEEE Trans. Computers (3 paper(s))
2. IEEE Trans. on CAD of Integrated Circuits and Systems (2 paper(s))
3. J. UCS (1 paper(s))
4. J. Artif. Intell. Res. (JAIR) (1 paper(s))
5. ACM Journal of Experimental Algorithms (1 paper(s))
6. Ann. Math. Artif. Intell. (1 paper(s))

Conferences

1. Design Automation Conference (DAC) (4 paper(s))
2. (4 paper(s))
3. Design, Automation, and Test in Europe (3 paper(s))
4. Asia and South Pacific Design Automation Conference (ASP-DAC) (2 paper(s))
5. International Conference on Computer Aided Design (ICCAD) (2 paper(s))
6. International Workshop on Logic & Synthesis (2 paper(s))
7. ACM Great Lakes Symposium on VLSI (1 paper(s))
8. International Conference on Computer Design (ICCD) (1 paper(s))
9. International Joint Conference on Artificial Intelligence (IJCAI) (1 paper(s))
10. International Symposium on Physical Design (ISPD) (1 paper(s))
11. Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS) (1 paper(s))
12. IEEE International Symposium on Circuits and Systems (ISCAS) (1 paper(s))
13. Theory and Applications of Satisfiability Testing (1 paper(s))