DMFT with exact diagonalization solver