Department of
Computer Science
695 Park Ave.
NY, NY 10021

 

Susan L. Epstein

The CUNY Graduate School, Department of Computer Science and

 Hunter College, Department of Computer Science

 

 

 

 

 

     Home 
     Publications 
     Collaborators 
     Courses 
     Contact

 

 

 

 

 

LOGIC PROBLEMS (CSP)

 

A logic problem is a puzzle associated with some text. A classic example is the zebra problem: There are five houses, each of a different color and inhabited by people of different nationalities, with different pets, different favorite drinks. and different favorite cigarettes.  The English person lives in the red house. The Spaniard owns a dog. Coffee is drunk in the green house. The Ukrainian drinks tea. The green house is directly to the right of the ivory house. The Old-Gold smoker owns snails. Kools are being smoked in the yellow house. Milk is drunk in the middle house. The Norwegian lives in the first house on the left. The Chesterfield smoker lives next to the fox owner. Kools are smoked in the house next to the house where the horse is kept. The Lucky-Strike smoker drinks orange juice. The Japanese person smokes Parliament. The Norwegian lives next to the blue house. Who drinks water and who owns the zebra?  Each puzzle has a different formulation.

PROBLEM CLASS # PROBLEMS CONSTRAINT CHECKS VISITED NODES RECCOMMENDED ADVISORS
         
         
         
         
         
         
         
         
         
         
         
         
         
         

[top of the page]

Home