Synthesis of optimal double-rail logic networks using NOR-OR gates by integer programming.

"Supported in part by ... Grant no. NSF GJ-503."

Optimal networks with NOR-OR gates and Wired OR logic /

Originally presented as the author's thesis (M.S.), University of Illinois at Urbana-Champaign.

A code for designing optimal networks by implicit enumeration using the all-interconnection inequality formulation : (a programming manual for ILLODIE-AIF) /

Thesis (M.S.)--University of Illinois at Urbana-Champaign.

A linear programming code to determine whether a Boolean function is a threshold function,

Bibliography: p. 14.

The University of Illinois attached machine operating system: design criteria and program logic,

"Supported in part by National Science Foundation under Grant No. NSF-GP-7634."

Degrees of unsolvability in the theory of programming languages,

Bibliography: p. 120-123.

The design of NOR networks under fan-in and fan-out const[r]aints : a programming manual for FIFOTRAN-G1 /

"Report No. UIUCDCS-R-74-661"