Bart Selman

• See here for exciting progress on a new home page: www.cs.cornell.edu/selman
• new figures
• 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.
• Nature article on phase transitions and complexity (.pdf format)
• Commentary on Nature 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 (pdf)
• satisfiability survey (pdf) (ps)
• satisfiability survey / edwards
• overview of research program (pdf) (ps)
• Recent Talks.
• Compute Intensive Methods for Artificial Intelligence
• Short bio.
• AI at Cornell: "Creating Intelligence" article
• Cornell wins robot soccer World Cup
• Artificial Intelligence at Cornell. and Joe Halpern on AI   (Video! use free realplayer)
• Ten Challenge Problems in Propositional Reasoning and Search.
• The BlackBox planning system.
• Papers
• More papers
• Talk: AI Meets Physics or .ppt
• FTP respository of more papers / code / data Here's the README-ftp file.
• Challenge Problems for Artificial Intelligence.
• ReferralWeb        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 email me 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.
• Courses:
• Foundations of Artificial Intelligence.
• Advanced Artificial Intelligence.
• Student Projects.
• Tutorials:
• Compute-Intensive Methods in Artificial Intelligence.
• New methods for solving large constraint and reasoning problems.
• Other professional activities.
• Altavista Theory archive Calendar
• Secure remote. Win.
  Misc. newTest pageLocal page
• Demo: See QUASIGROUP DEMO