¿¡ÀÌ¿£Æú¸®´Â ½Ò °¡°ø ÈÄ ¹ö·ÁÁö´Â ¿Õ°Ü¿¡¼ ¼¿·ê·Î¿À½º¸¦ ÃßÃâÇØ »ýºÐÇØ°¡ °¡´ÉÇÑ ¼¿·ê·Î¿À½º ³ª³ë¼¶À¯(CNF)¸¦ ¸¸µå´Â ½ºÅ¸Æ®¾÷ÀÌ´Ù. Æ÷½ºÅØ¿¡¼ ½ºÇÉ¿ÀÇÁÇß´Ù. Çöó½ºÆ½ ¹× ÇÕ¼º°íºÐÀÚ¸¦ ´ëüÇÒ ¼ö ÀÖ¾î »ýºÐÇؼº Æ÷ÀåÀç µî ºÐ¾ß¿¡¼ ÁÖ¸ñ¹Þ°í ÀÖ´Ù.
¹ÙÀÌ¿È Å×Å©³î·ÎÁö½º´Â »ó¿ë ¹ÙÀÌ¿ÀÇöó½ºÆ½ ±â¼úÀ» °³¹ßÇÏ´Â ±â¾÷ÀÌ´Ù. ¼®À¯ ±â¹Ý Àç·á·Î ¸¸µé¾îÁø Çöó½ºÆ½ Á¦Ç°À» ´ëüÇÏ°í »ýºÐÇؼº õ¿¬ ÁßÇÕü¸¦ °³¹ßÇÏ°í ÀÖ´Ù. ƯÈ÷ ÀÚȸ»çÀÎ ¹ÙÀÌ¿È ¹ÙÀÌ¿ÀÇöó½ºÆ½½º´Â Áö³ÇØ ¸ÅÃâ¾× ±âÁØ »óÀ§ 10´ë ¹ÙÀÌ¿ÀÇöó½ºÆ½ ±â¾÷À¸·Î Æò°¡¹Þ´Â´Ù.
¾ç»ç´Â ¿µ±¹ ÇöÁö¿¡¼ ¾÷¹«Çù¾àÀ» ü°áÇÏ°í ¹ÙÀÌ¿ÀÇöó½ºÆ½ ½ÄÇ° Æ÷ÀåÀçÀÇ ½ÄÇ° º¸Á¸ ¼º´ÉÀ» Çâ»ó½ÃÅ°´Â ±â¼úÀ» °øµ¿ °³¹ßÇϱâ·Î Çß´Ù. ÇØ´ç ÇÁ·ÎÁ§Æ®´Â Çѱ¹ÀÇ KIAT(Çѱ¹»ê¾÷±â¼úÁøÈï¿ø)¿Í ¿µ±¹ÀÇ À̳뺣ÀÌƼºêUK·ÎºÎÅÍ ÀÚ±ÝÀ» Áö¿ø ¹Þ¾Æ ÁøÇàµÈ´Ù.
³ë»óö ¿¡ÀÌ¿£Æú¸®ÀÇ ´ëÇ¥´Â "ÇØ´ç ÇÁ·ÎÁ§Æ®¸¦ ÅëÇØ È®º¸ÇÏ°Ô µÉ ÁÖ¿ä Á¦Ç°±ºÀº Áö¼Ó°¡´ÉÇÑ È¯°æÀ» ¸¸µé¾î ³ª°¡´Âµ¥ Å« ¿ªÇÒÀ» ÇÒ °Í"À̶ó°í ¸»Çß´Ù.
Æú ¸¶ÀÎÁî ¹ÙÀÌ¿È Å×Å©³î·ÎÁö½º ÃÖ°í°æ¿µÀÚ´Â "¹ÙÀÌ¿ÈÀÇ Èï¹Ì·Î¿î Á¦Ç°°ú ¿¡ÀÌ¿£Æú¸®ÀÇ ÃÖ÷´Ü ¼ÒÀç±â¼úÀ» °áÇÕÇØ Çõ½ÅÀ» ¸¸µé¾î°¥ °Í"À̶ó°í ¸»Çß´Ù.
[¸Ó´ÏÅõµ¥ÀÌ ½ºÅ¸Æ®¾÷ ¹Ìµð¾î Ç÷§Æû À¯´ÏÄÜÆÑÅ丮]