Abstract
My tutorial and invited talks on SAT solving usually end with a slide showing a timeline of what I consider important milestones in the history of practical SAT solving. As a consequence there is usually not much time left to discuss this history. On this occasion, an invited talk at the workshop on 50 years of satisfiability, there seems to be no better fit for a topic, to turn this around and start by going through those perceived important contributions, from early work in the fifties, over the SAT revolution we are witnessing today, to future challenges. The talk will be structured slightly differently than usual and will be open to frequent interaction with the audience.