Characterization of line width variation
Alfred K. Wong, Antoinette F. Molless, et al.
SPIE Advanced Lithography 2000
We give a quadratic algorithm for the following structure identification problem: given a Boolean relation R and a finite set S of Boolean relations, can the relation R be expressed as a conjunctive query over the relations in the set S? Our algorithm is derived by first introducing the concept of a plain basis for a co-clone and then identifying natural plain bases for every co-clone in Post's lattice. In the process, we also give a quadratic algorithm for the problem of finding the smallest co-clone containing a Boolean relation. © 2008 Elsevier Inc. All rights reserved.
Alfred K. Wong, Antoinette F. Molless, et al.
SPIE Advanced Lithography 2000
Vladimir Yanovski, Israel A. Wagner, et al.
Ann. Math. Artif. Intell.
Imran Nasim, Michael E. Henderson
Mathematics
Martin Charles Golumbic, Renu C. Laskar
Discrete Applied Mathematics