ISSAC 2008 (July 20-23, 2008)
<
top
>
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:50)