Login / Signup
A Gridless Approach to the Satisfiability of Self-Aligned Triple Patterning.
Hsiao-Lei Chien
Mei-Yen Chiu
Jie-Hong R. Jiang
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2017)
Keyphrases
</>
satisfiability problem
propositional logic
np complete
data sets
computational complexity
phase transition
decision procedures
data mining
artificial intelligence
orders of magnitude
integrated circuit
data structure
sat instances
automata theoretic