1: \begin{abstract}

2: LECTURE GIVEN AT TH2002:

3: Given a set of Boolean variables, and some constraints between them,

4: is it possible to find a configuration of the variables which satisfies

5: all constraints? This problem, which is at the heart

6: of combinatorial optimization and computational complexity theory, 

7: is used as a guide to show the convergence

8: between these fields and the statistical physics of disordered systems.

9: New results on satisfiability, both on the theoretical and practical side,

10: can be obtained thanks to the use of physics concepts and methods.

11: \end{abstract}

12: