TY - RPRT TI - Combinational Logic Circuit Design with the Buchberger Algorithm AU - Germain Drolet PY - 2006 UR - https://arxiv.org/abs/cs/0605125 ID - cs/0605125 ER -