مرکز منطقه ای اطلاع رساني علوم و فناوري - Translation among CNFs, characteristic models and ordered binary decision diagrams

Title of article :

Translation among CNFs, characteristic models and ordered binary decision diagrams

Author/Authors :

Takashi Horiyama، نويسنده , , Toshihide Ibaraki، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2003

Pages :

From page :

191

To page :

198

Keywords :

Conjunctive normal form (CNF) , Characteristic model , Ordered binary decision diagram (OBDD) , Horn function , Algorithms

Journal title :

Information Processing Letters

Serial Year :

2003

Journal title :

Information Processing Letters

Record number :

129660

Link To Document :