The Boolean Satisfiability Problem is a problem of central importance in computer science. At the same time, it is a paradigmatic constraint-satisfaction problem with numerous applications, including hardware and software design, operations research, bioinformatics, and more.