Moved: SAT and applications

This discussion has been moved.