Incremental variable splitting. - Christian Mahesh Hansen; Roger Antonsen; Martin Giese; Arild Waaler (J. Symb. Comput., 2012)