The Sat Phase Transition

&
Department of Artificial Intelligence, University of Edinburgh (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Toby Walsh, "Machines Behaving Badly: The Morality of AI.". [REVIEW]Thomas Klikauer - 2023 - Philosophy in Review 43 (4):43-45.
Can Dolphins Solve Problems and Understand Language?Thomas I. White - 2007 - In In Defense of Dolphins: The New Moral Frontier. Wiley-Blackwell. pp. 81–116.
Problem‐Solving Phase Transitions During Team Collaboration.Travis J. Wiltshire, Jonathan E. Butner & Stephen M. Fiore - 2018 - Cognitive Science 42 (1):129-167.
Transition probability effects in anagram problem solving.Harry Beilin & Rheba Horn - 1962 - Journal of Experimental Psychology 63 (5):514.
Easy Problems Are Sometimes Hard.Ian Philip Gent & Toby Walsh - 1993 - Department of Artificial Intelligence, University of Edinburgh.
Theory and applications of satisfiability testing - SAT 2009: 12th international conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009: proceedings.Oliver Kullmann (ed.) - 2009 - Berlin: Springer.
Beyond Simon’s Means-Ends Analysis: Natural Creativity and the Unanswered ‘Why’ in the Design of Intelligent Systems for Problem-Solving. [REVIEW]Dongming Xu - 2010 - Minds and Machines 20 (3):327-347.
Davis Schneiderman and Philip Walsh, Eds. Retaking the Universe. [REVIEW]Amanda Perez - 2010 - Rhizomes 20 (1).
Couturat's Method of Solving the Problem of Leibniz Concerning the Number of Subjects and Predicates in a Proposition.Antoni Korcik - 1959 - Journal of Symbolic Logic 24 (3):215-215.
Is this problem likely to be solved? A cognitive schema of effective problem solving.Raanan Lipshitz, Daphna Leshem Levy & Keren Orchen - 2006 - Thinking and Reasoning 12 (4):413 – 430.

Analytics

Added to PP
2015-02-13

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references