Compute-Intensive Methods in Artificial
Intelligence
Bart Selman
Dept. of Computer Science
Cornell University
selman@cs.cornell.edu
Introduction
Synopsis
(or this one)
A more detailed writeup: Compute-Intensive
Methods in Artificial Intelligence (the .ps)
-
Talks
-
Challenge
Problems in Propositional Reasoning and Search
-
non-frame version
.ppt version
-
-
Stochastic Search and Phase Transitions:
AI Meets Physics
-
non-frame version
.ppt version
-
Papers
-
Stochastic
Search (.ps)
-
Pinning Down a Treacherous Border in Logical Statements
-
by Barry Cipra (Science 1994)
-
A general introduction to problem complexity and phase transitions.
-
Ten Challenges in Propositional Reasoning and Search
(.pdf /
.ps)
-
Challenge
Problems for Artificial Intelligence
-
Tutorials
-
-
Compute-Intensive
Methods in Artificial Intelligence
-
New
methods for solving large constraint and reasoning problems.