Travelled to:1 × Greece
Collaborated with:T.Pitassi A.Urquhart T.Matsuzaki H.Iwane M.Kobayashi Y.Zhan R.Fukasaku J.Kudo H.Anai
Talks about:benchmark (1) tableaux (1) univers (1) problem (1) complex (1) against (1) mechan (1) analyt (1) teen (1) race (1)
Person: Noriko H. Arai
DBLP: Arai:Noriko_H=
Contributed to:
2001
2016Wrote 2 papers:
- STOC-2001-AraiPU #complexity
- The complexity of analytic tableaux (NHA, TP, AU), pp. 356–363.
- IJCAR-2016-MatsuzakiIKZFKA #benchmark #metric #problem
- Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems (TM, HI, MK, YZ, RF, JK, HA, NHA), pp. 213–227.