Equational Binary Decision Diagrams
Michal Mrena
◽
Miroslav Kvassay
◽
Radomir S. Stankovic
Pawel Morawiecki
◽
Mariusz Rawski
J.S. Matos
◽
J.V. Oldfield
M. Fujita
◽
Y. Matsunaga
◽
T. Kakuda
2015 ◽
Vol 59
(3)
◽
pp. 532-559
◽
Shinobu Nagayama
◽
Tsutomu Sasao
◽
Jon T. Butler
Gianpiero Cabodi
◽
Paolo E. Camurati
◽
Alexey Ignatiev
◽
Joao Marques-Silva
◽
Marco Palena
◽
...
Lisandro A.Jimenez-Roa
◽
Tom Heskes
◽
Marielle Stoelinga
Michal Mrena
◽
Miroslav Kvassay
Tarik Hadžić
◽
J. N. Hooker