BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Yamada:Akihisa

Contributed to:

CADE 20152015
ICST 20152015
FLOPS 20142014
PPDP 20132013
ASE 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.