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.

EOL programming examples: a primer,

"Supported in part by the National Science Foundation under Grant no. GP-4636."

An implicit enumeration program for zero-one integer programming -- ILLIP-2 /

Thesis (M.S.)--Illinois.

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

Bibliography: p. 14.

A study of the effect of additional inequalities in integer programming for logical design.

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

Synthesis of optimal networks with NOR and NAND gates by integer programming /

"January 18, 1971."

Use of macros in backtrack programming /

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

The PAX II picture processing system at the University of Illinois, programming manual;

"C00-1018-1174."

Analyzing the learning of computer programming concepts through the teaching of PAL /

Vita.

LINGOL, a readable formalism for programming language semantics /

"UILU-ENG 77 1766."

VIPTRAN--a programming language and its compiler for Boolean systems or process control equations.

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

On the synthesis by integer programming of optimal NOR gate networks for four variable switching functions /

"Supported in part by the National Science Foundation under grant no. NSF GJ-503."

SOUPAC program descriptions : statistically oriented users programming and consulting.

Mode of access: Internet.

A model for linear programming optimization of I/O-bound programs /

"June, 1969."

PATTIE : an automated tutor for top-down programming /

Vita.