Paper Reading Questions

For each paper, your assignment is two-fold. Before lecture:

Lecture 11

Each time EXE adds a branch constraint it queries STP to check that there exists at least one solution for the current path's constraints. What would go wrong if EXE did not use STP, and instead tried all branches? What would go wrong if EXE randomly selected a branch to check?