For patients with atrial fibrillation and heart failure, current treatment can include AV nodal ablation with biventricular pacing. Pulmonary vein isolation (PVI) is a new procedure for this patient population which attempts to restore sinus rhythm. This trial is a randomized controlled trial of AVN ablation with biventricular pacing versus PVI for atrial fibrillation patients with congestive heart failure.