Variable representation and solving