Comment by danuker

Rather than inverting 12V DC to 240V AC and back, you could skip a step and use a laptop car charger, converting 12V DC straight to ~20V DC.