Satisfiability

A special invited session on Satisfiability, consisting solely of invited talks, has been organized by John Franco (University of Cincinnati).