Travelled to:
1 × USA
Collaborated with:
A.C.Kaporis L.M.Kirousis M.Vamvakari M.Zito
Talks about:
unsatisfi (1) threshold (1) revisit (1)
Person: Yannis C. Stamatiou
DBLP: Stamatiou:Yannis_C=
Contributed to:
Wrote 1 papers:
- SAT-2001-KaporisKSVZ #revisited #satisfiability
- The unsatisfiability threshold revisited (ACK, LMK, YCS, MV, MZ), pp. 81–95.