For each paper, you should submit two text files via the Gradescope submission web site, as described below. The submission is due before lecture. (The Gradescope entry code for 6.5660 is 3JZ23X.)
answer.txt
.
question.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.
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?