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.












