Satisfied with Physics

Satisfiability problems are logical reasoning problems that play an important role in the search for more efficient ways of solving large-scale computational problems. In their Perspective, Gomes and Selman highlight the report by MA©zard et al ., who borrow a method from statistical physics to characterize the search space that contains the solutions to such problems. The new approach also helps to find solutions in cases where conventional search methods fail.