01044nam a2200181 c 4500001001300000005001500013008004100028040001100069041001300080052002200093245021700115300003100332545013100363653016900494700004700663773013800710900001400848KSI00016699220040202133102031010s2002    ulka          000   kor    a0110010 akorbeng01a325.05b한429ㅎ00a집합 피복 공식화를 이용한 명제논리의 만족도 문제에 대한 계산실험 연구=x(An)empirical study for satisfiability problems in propositional logic using set covering formulation/d조건  ap. 87-109:b삽도;c27 cm  a조건, School of Business Administration at Chonnam National University, Standing Researcher of Management Research Institute  a집합피복a공식화a명제논리a만족도a문제a계산실험aEmpiricalaSatisfiabilityaProblemsaPropositionalaLogicaUsingaSetaCoveringaFormulation1 a조건,g趙健,d1962-0KAC2012143114aut0 t韓國經營科學會誌.d한국경영과학회.g제27권 4호(2002년 12월), p. 87-109q27:4<87w(011001)KSE199509124,x1225-111910aCho, Geon