Using Disjunctive Diagrams for Preprocessing of Conjunctive Normal Forms.

Victor Kondratiev
Published in: MIPRO (2022)
Keyphrases