Rippling

In computer science, more particularly in automated theorem proving, rippling is a group of meta-level heuristics, developed primarily in the Mathematical Reasoning Group in the School of Informatics at... Wikipedia