Although this area has a history of over 80 years, it was not until the creation of efficient SAT
solvers in the mid-1990s that it became practically important, finding applications in
electronic design automation, hardware and software verification, combinatorial
optimization, and more. Exploring the theoretical and practical aspects of satisfiabi