They have a inter-terminal bus leaving on the hour. Once you arrive, register (on
the left after you enter the terminal) for the bus collect the bags and hop on.
If you cant make the bus in time, the pre-paid taxi will do. Last I remember
(In January) it was about Rs. 100 INR from Domestic to International
and Rs. 200 from Intl to domestic.
Don't leave the terminal before getting a pre-paid taxi voucher.
the travel time should be about 30 minutes.