telelphone 607 255 5643
See here for exciting progress on a new home page:
Phase transition work in the New York Times
Figure and summary of phase transition results from the New York Times
Phase transition results. Cornell release.
article on phase transitions and complexity (.pdf format)
article (.pdf format)
Phase gif #1.
Phase gif #2.
Phase gif #3.
Phase gif #4.
Understanding Problem Hardness: Recent Developments and Directions
ISAT meeting, April 1999, Seattle, WA.
Michael Littman's Boolean Satisfiability page (test).
CSPLIB: Library of CSP problems (mirrored)
wff 100 vars 420 clauses
satisfiability survey (pdf)
satisfiability survey / edwards
overview of research program (pdf)
Compute Intensive Methods for Artificial Intelligence
AI at Cornell: "Creating Intelligence" article
Cornell wins robot soccer World Cup
Artificial Intelligence at Cornell.
Joe Halpern on AI
use free realplayer
Ten Challenge Problems in Propositional Reasoning and Search.
Talk: AI Meets Physics
FTP respository of more papers / code / data
Challenge Problems for Artificial Intelligence.
Featured in the Wall Street Journal.
Try out latest version here!
(Hints: First pick an "anchor node", e.g, Karp. Then click on "path" to check out paths between computer scientists. Please
if you have any questions.)
A recent overview talk.
Pinning Down a Treacherous Border in Logical Statements
by Barry Cipra (Science 1994
AI Seminar Series at Cornell.
Foundations of Artificial Intelligence.
Advanced Artificial Intelligence.
Compute-Intensive Methods in Artificial Intelligence
New methods for solving large constraint and reasoning problems.
Other professional activities.