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.