مرکز منطقه ای اطلاع رساني علوم و فناوري - An efficient algorithm for Horn description

Title of article :

An efficient algorithm for Horn description

Author/Authors :

Jean-Jacques Hébrard، نويسنده , , Bruno Zanuttini، نويسنده ,

Issue Information :

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

Pages :

From page :

177

To page :

182

Keywords :

Combinatorial problems , Algorithms , description , Horn CNF

Journal title :

Information Processing Letters

Serial Year :

2003

Journal title :

Information Processing Letters

Record number :

129806

Link To Document :