update description of constraint deduction method
add slide subset for talk