For each paper, your assignment is two-fold. Before lecture:
lecn.txt
, and
sqn.txt
. You cannot use the question below. To the
extent possible, during lecture we will try to answer these questions. If
you submit your question before midnight the day before lecture, then there
is a chance we will answer by email. Below, we have included the questions
we've received from students in past years (when available), along with
answers to those questions, in case you find it helpful.
Once you submit your own question and answer (or after the deadline has passed), you can view the questions and answers that other students submitted.
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?