Determination of symmetric VL1 formulas :
algorithm and program SYM4 /
by Gerald Martin Jensen.

Description

Viewability

Item Link Original Source
Full view   Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 774 University of Illinois at Urbana-Champaign