VSL 2014: VIENNA SUMMER OF LOGIC 2014
Bart Selman
Organization: Cornell University
Web site: http://www.cs.cornell.edu/selman
Pages in this Program
CSPSAT Call for Papers
CSPSAT Program Committee
SAT Program Committee