Binary functions of multivalued arguments: generalization and investigation of disjunctive normal forms for such functions
SOLUTION METHOD OF LOGICAL INEQUALITY GROUPS OF DISJUNCTIVE NORMAL FORM IN LUK PROPOSITIONAL CALCULUS SYSTEM
Solving QBF with combined conjunctive and disjunctive normal form
On the Learnability of Disjunctive Normal Form Formulas and Decision Trees
Solving QBF by Combining Conjunctive and Disjunctive Normal Forms.
, 2014