Automated reasoning for web page layout
2016 ◽
Vol 51
(10)
◽
pp. 181-194
◽
Pavel Panchekha
◽
Emina Torlak
Pavel Panchekha
◽
Emina Torlak
Gen Hattori
◽
Keiichiro Hoashi
◽
Kazunori Matsumoto
◽
Fumiaki Sugaya
2021 ◽
Vol 40
(7)
◽
pp. 33-44
K. Kikuchi
◽
M. Otani
◽
K. Yamaguchi
◽
E. Simo‐Serra
Rintaro Miyazaki
◽
Ryo Momose
◽
Hideyuki Shibuki
◽
Tatsunori Mori
2013 ◽
Vol 8
(4)
◽
pp. 673-681
Guoming Sang
◽
Zhi Liu
◽
Jun Shi
Nobuo Funabiki
◽
Junki Shimizu
◽
Megumi Isogai
◽
Toru Nakanishi
2005 ◽
Vol 11
(1)
◽
pp. 34-44
◽
Xing Xie
◽
Chong Wang
◽
Li-Qun Chen
◽
Wei-Ying Ma
Jingru Zhang
◽
Caifeng Liu
◽
Aibin Huang
Nobuo Funabiki
◽
Yosuke Isshiki
◽
Megumi Isogai
◽
Toru Nakanishi