Automated Auxiliary Variable Elimination Through On-the-Fly Propagator Generation Book chapter (August 2015)