Skip to main content

Thank you for visiting You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a more up to date browser (or turn off compatibility mode in Internet Explorer). In the meantime, to ensure continued support, we are displaying the site without styles and JavaScript.

Computational science

Can get satisfaction

The sheer complexity of some computational problems means they will probably never be solved, despite the ever-increasing resources available. But we can sometimes predict under what conditions solutions exist.

Your institute does not have access to this article

Access options

Buy article

Get time limited or full article access on ReadCube.


All prices are NET prices.

Figure 1: Web of constraint.
Figure 2: Finding satisfaction.


  1. Achlioptas, D., Naor, A. & Peres, Y. Nature 435, 759–764 (2005).

    ADS  CAS  Article  Google Scholar 

  2. Clay Mathematics Institute The P versus NP problem

  3. Cheeseman, P., Kanefsky, B. & Taylor, W. Proc. 12th Int. Joint Conf. Artif. Intell. 331—337 (Morgan Kaufmann, San Francisco, CA, 1991).

    Google Scholar 

  4. Mitchell, D., Selman, B. & Levesque, H. Proc. 10th Natl Conf. Artif. Intell. 459–465 (AAAI Press, Menlo Park, CA, 1992).

    Google Scholar 

  5. Kirkpatrick, S. & Selman, B. Science 264, 1297–1301 (1994).

    ADS  MathSciNet  CAS  Article  Google Scholar 

  6. Hogg, T., Huberman, B. A. & Williams, C. (eds) Frontiers in Problem Solving: Phase Transitions and Complexity spec. issue Artif. Intell. 81 (1996).

  7. Friedgut, E. J. Am. Math. Soc. 12, 1017–1054 (1999).

    Article  Google Scholar 

  8. Monasson, R., Zecchina, R., Kirkpatrick, S., Selman, B. & Troyansky, L. Nature 400, 133–137 (1999).

    ADS  MathSciNet  CAS  Article  Google Scholar 

  9. Mezard, M., Parisi, G. & Zecchina, R. Science 297, 812–815 (2002).

    ADS  CAS  Article  Google Scholar 

  10. Mezard, M., Mora, T. & Zecchina, R. preprint at (2005).

  11. Williams, R., Gomes, C. & Selman, B. Proc. 17th Int. Joint Conf. Artif. Intell. 1173–1178 (Morgan Kaufmann, San Francisco, CA, 2003).

    Google Scholar 

Download references

Author information

Authors and Affiliations


Rights and permissions

Reprints and Permissions

About this article

Cite this article

Gomes, C., Selman, B. Can get satisfaction. Nature 435, 751–752 (2005).

Download citation

  • Published:

  • Issue Date:

  • DOI:

Further reading


Quick links

Nature Briefing

Sign up for the Nature Briefing newsletter — what matters in science, free to your inbox daily.

Get the most important science stories of the day, free in your inbox. Sign up for Nature Briefing