Art

J-GLOBAL ID：201902202701932995   Reference number：19S0407641

Parametric mechanism design via quantifier elimination

Author (9)： Iwasaki, Atsushi (University of Electro-Communications) ,  Fujita, Etsushi (Kyushu University) ,  Todo, Taiki (Kyushu University) ,  Yokoo, Makoto (Kyushu University) ,  Iwane, Hidenao (Fujitsu Lablartories) ,  Iwane, Hidenao (National Institute of Informatics) ,  Anai, Hirokazu (Fujitsu Lablartories) ,  Anai, Hirokazu (National Institute of Informatics) ,  Guo, Mingyu (University of Adelaide)
Material： Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
Volume： 3  Page： 1885-1886  Publication year： 2015 
JST Material Number： SCOPUS  ISSN： 1548-8403  ISBN： 9781450337717 
Country of issue： United States (USA)  Language： English (EN)

Terms in the title (1)： DESIGN