Who's on the Menu Tonight?

First Blood (Introduction)

• Bloodsuckers and Victims (What is ATP?)
• What is a Vampire? (About the Vampire ATP system)
• Other Bloodsuckers (About other ATP systems)
• Enjoy the Fangs and Blood (Aims and motivations)

Evaluation of Victims and Bloodsuckers (Evaluation of ATP Problems and Systems)

• Before the Bite (Basic ATP system requirements)
• Going for the Neck (Intuitive idea)
• I Know Some Bloodsuckers (SystemOnTPTP)
• A Source of Victims (The TPTP)
• Types of Victims (Specialist Problem Classes)
• How Much Jaw Pressure is Required? (Resource limits)
• So Much Blood (The TSTP)
• The Best Bites (Evaluating ATP systems and problems)

Before the Blood Flows (Vampire Basics)

Victims that a Vampire Likes (Problems that Vampire can Solve)

• Blood type O- (CNF_SAT)
• Blood type A+ (FOF_THM/UNS)
• Blood type A- (FOF_CSA/SAT)

Victims that a Vampire Doesn't Like (Problems that Vampire Can't Solve)

• Blood type B- (TF0_CSA)
• Blood type JB+ (TF1)
• Blood type AB+ (TH0_THM)
• Blood type AB- (TH0_CSA)

Victims that a Vampire Might Share (Problems that Vampire and Other Systems can Solve)

• Parts of "Victims that a Vampire Likes"
• Blood type O+ (CNF_UNS)
• Blood type B+ (TF0_THM/UNS)

A Stake in the Heart (Conclusion)

Death - Any Questions?