Title of article
Translation among CNFs, characteristic models and ordered binary decision diagrams
Author/Authors
Takashi Horiyama، نويسنده , , Toshihide Ibaraki، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2003
Pages
8
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