Text this: Incremental inference on higher-order probabilistic graphical models applied to constraint satisfaction problems