Travelled to:1 × Austria
1 × Germany
1 × Japan
1 × Spain
Collaborated with:T.Kitamura C.Artho E.Choi A.Biere K.Kusakari T.Sakabe J.Iborra N.Nishida G.Vidal S.Winkler N.Hirokawa A.Middeldorp Y.Oiwa
Talks about:combinatori (2) test (2) unsatisfi (1) increment (1) polynomi (1) revisit (1) problem (1) generat (1) termin (1) recurs (1)
Person: Akihisa Yamada
DBLP: Yamada:Akihisa
Contributed to:
2015
2015
2014
2013
2016Wrote 6 papers:
- CADE-2015-IborraNVY #dependence #problem #termination
- Reducing Relative Termination to Dependency Pair Problems (JI, NN, GV, AY), pp. 163–178.
- ICST-2015-YamadaKACOB #combinator #incremental #optimisation #satisfiability #testing
- Optimization of Combinatorial Testing by Incremental SAT Solving (AY, TK, CA, EHC, YO, AB), pp. 1–10.
- FLOPS-2014-YamadaWHM #revisited
- AC-KBO Revisited (AY, SW, NH, AM), pp. 319–335.
- PPDP-2013-YamadaKS #order #polynomial #recursion
- Unifying the Knuth-Bendix, recursive path and polynomial orders (AY, KK, TS), pp. 181–192.
- ASE-2016-YamadaBAKC #combinator #generative #satisfiability #testing #using
- Greedy combinatorial test case generation using unsatisfiable cores (AY, AB, CA, TK, EHC), pp. 614–624.