RISC JKU

ISSAC 2008 (July 20-23, 2008)

<    top    >
 
CRW_3734.JPG
Copyright: Christoph Koutschan Click image to enlarge

ISSAC 2008. Franc,ois Lemaire, Marc Moreno Maza, Wei Pan and Yuzhen Xie. When does (T) equal Sat(T) ? (22.07.2008 09:20:18)