This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised
Many creative individuals working in organizations today encounter resistance to new ideas, much as the path-breaking artists, scientists, and inventors have experienced throughout history. Experts re
