Keywords: شکل طبیعی مضر; Computational complexity; Combinatorial problems; Conjunctive normal form; Prime implicant
مقالات ISI شکل طبیعی مضر (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Deriving all minimal consistency-based diagnosis sets using SAT solvers
Keywords: شکل طبیعی مضر; Conjunctive normal form; Consistency-based diagnosis; Model-based diagnosis; SAT solver
On the size of maximum renamable Horn sub-CNF
Keywords: شکل طبیعی مضر; Horn boolean formula; Conjunctive normal form; Maximum renamable Horn sub-CNF; Renamable Horn formula; q-Horn formula;
On converting CNF to DNF
Keywords: شکل طبیعی مضر; Circuit size; Disjunctive normal form; Conjunctive normal form; Switching lemma;
The unique role of the Åukasiewicz-triplet in the theory of fuzzified normal forms
Keywords: شکل طبیعی مضر; T-norm; T-conorm; De Morgan triplet; Åukasiewicz triplet; Disjunctive normal form; Conjunctive normal form; Cauchy equation;
Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing
Keywords: شکل طبیعی مضر; Horn Boolean formula; Conjunctive normal form; Satisfiability; Polynomial time;