This thesis includes the graph-coloring approach based on minimal implicants that was next improved in subsequent papers from this section.
Graph coloring approach to SOP, generalized to 4-level PLAs.
Rule based approach which implemented an AI-based method for backtracking.
Very shortened and simplified version of the GTE report.
This paper introduced the PUB decomposition for the first time.
This paper introduced the idea of learning search by modifying coefficients of weighted cost functions that evaluate nodes and search operators.
This was first application of Ashenhurst/Curtis Decomposition to FPGA optimization/mapping.