PerspectiveComputer Science

Satisfied with Physics

Science  02 Aug 2002:
Vol. 297, Issue 5582, pp. 784-785
DOI: 10.1126/science.1074599

You are currently viewing the summary.

View Full Text

Via your Institution

Log in through your institution

Log in through your institution


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 Mé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.