Skip to main content

Thank you for visiting nature.com. 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.

  • News & Views
  • Published:

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.

This is a preview of subscription content, access via your institution

Access options

Buy this article

Prices may be subject to local taxes which are calculated during checkout

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

References

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

    Article  ADS  CAS  Google Scholar 

  2. Clay Mathematics Institute The P versus NP problem http://www.claymath.org/prizeproblems/pvsnp.htm

  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).

    Article  ADS  MathSciNet  CAS  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).

    Article  ADS  MathSciNet  CAS  Google Scholar 

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

    Article  ADS  CAS  Google Scholar 

  10. Mezard, M., Mora, T. & Zecchina, R. preprint at http://arxiv.org/cond-mat/0504070 (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

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Gomes, C., Selman, B. Can get satisfaction. Nature 435, 751–752 (2005). https://doi.org/10.1038/435751a

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1038/435751a

This article is cited by

Search

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