|
Á¦ ¸ñ |
iLOG Solve¿¡¼ Domain Reduction Propagation¿¡ ´ëÇØ¼ |
|
ÀÛ¼ºÀÚ |
Hyun Jung Lee |
ÀÛ¼ºÀÏ |
2004-04-13 |
Á¶È¸¼ö |
766 ȸ |
|
÷ºÎÆÄÀÏ |
÷ºÎµÈ ÆÄÀϾøÀ½.
|
|
¾È³çÇϼ¼¿ä? KAIST¿¡ ¹Ú»ç°úÁ¤Çлý ÀÌÇöÁ¤ÀÔ´Ï´Ù. ´Ù¸§ÀÌ ¾Æ´Ï¶ó, ILOG Solver¿¡¼ Domain Reduction PropagationÀ» ÀÌ¿ëÇØ¼ PRunningÀ» ÇÑ´Ù°í µÇ¾î Àִµ¥, ±×·¸´Ù¸é ÀϺΠ³ëµå¿¡ ´ëÇØ¼¸¸ PRopagationÀ» ÇÑ´Ù´Â ÀǹÌÀÎÁö, ¾Æ´Ï¸é Domain ReducitonÈÄ Domainµé°£ÀÇ ¿ì¼±¼øÀ§¸¦ ÁÖ¾î¼ ±× ¼ø¼´ë·Î PropagationÇØ¼ °á±¹ Àü ³ëµå¿¡ ´ëÇØ¼ PropagationÀ» ÇÏ´Â °ÍÀÎÁö ±Ã±ÝÇØ¼ ¸ÞÀϵ帳´Ï´Ù. ¸¸¾à ±¸ÇØÁø ÇØ°¡ ¿©·¯°¡ÁöÀÏ °æ¿ì ¾î¶² ÇØ¸¦ ¼±ÅÃÇϰ³ µÇ´ÂÁö, ´Ù½Ã ¸»ÇØ ·£´ýÇÏ°Ô ¼±ÅÃÇÏ´ÂÁö, ¾Æ´Ï¸é ¿ÉƼ¸ØÀ» ã´ÂÁö, ã´Â ´Ù¸é ¾î¶»°Ô ã´ÂÁö ±Ã±ÝÇÕ´Ï´Ù. ²À Á» ȸ½Å ÁÖ½Ã¸é °¨»çÇϰڽÀ´Ï´Ù.
¾È³çÈ÷°è¼¼¿ä.
ÀÌÇöÁ¤ µå¸² |
|
|
|