Travelled to:
1 × Italy
Collaborated with:
T.Horiyama K.Iwama
Talks about:
formula (1) densiti (1) condens (1) boolean (1)
Person: Youichi Hanatani
DBLP: Hanatani:Youichi
Contributed to:
Wrote 1 papers:
- SAT-2003-HanataniHI
- Density Condensation of Boolean Formulas (YH, TH, KI), pp. 69–77.