V. Dvořák, P. Mikušek:
Design of Arbiters and Allocators Based on Multi-Terminal BDDs
/jucs_16_14/design_of_arbiters_and

page 1826 - 1852
Vol.16 / Issue 14

J. Franco, M. Kouril, J. Schlipf, S. Weaver, M. Dransfield, W.M. Vanfleet:
Function-Complete Lookahead in Support of Efficient SAT Search Heuristics
/jucs_10_12/function_complete_lookahead_in

page 1655 - 1692
Vol.10 / Issue 12

L. Storme, A. De Vos, G. Jacobs:
Group Theoretical Aspects of Reversible Logic Gates
/jucs_5_5/group_theoretical_aspects

page 307 - 321
Vol.5 / Issue 5