CINXE.COM

<!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="robots" content="noindex,nofollow"><meta name="viewport" content="width=device-width,initial-scale=1"><style>*{box-sizing:border-box;margin:0;padding:0}html{line-height:1.15;-webkit-text-size-adjust:100%;color:#313131;font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,Noto Sans,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji}body{display:flex;flex-direction:column;height:100vh;min-height:100vh}.main-content{margin:8rem auto;max-width:60rem;padding-left:1.5rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{font-size:1.5rem;font-weight:500;line-height:2.25rem}@media (width <= 720px){.h2{font-size:1.25rem;line-height:1.5rem}}#challenge-error-text{background-image:url(data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMiIgaGVpZ2h0PSIzMiIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI0IyMEYwMyIgZD0iTTE2IDNhMTMgMTMgMCAxIDAgMTMgMTNBMTMuMDE1IDEzLjAxNSAwIDAgMCAxNiAzbTAgMjRhMTEgMTEgMCAxIDEgMTEtMTEgMTEuMDEgMTEuMDEgMCAwIDEtMTEgMTEiLz48cGF0aCBmaWxsPSIjQjIwRjAzIiBkPSJNMTcuMDM4IDE4LjYxNUgxNC44N0wxNC41NjMgOS41aDIuNzgzem0tMS4wODQgMS40MjdxLjY2IDAgMS4wNTcuMzg4LjQwNy4zODkuNDA3Ljk5NCAwIC41OTYtLjQwNy45ODQtLjM5Ny4zOS0xLjA1Ny4zODktLjY1IDAtMS4wNTYtLjM4OS0uMzk4LS4zODktLjM5OC0uOTg0IDAtLjU5Ny4zOTgtLjk4NS40MDYtLjM5NyAxLjA1Ni0uMzk3Ii8+PC9zdmc+);background-repeat:no-repeat;background-size:contain;padding-left:34px}@media (prefers-color-scheme:dark){body{background-color:#222;color:#d9d9d9}}</style><meta http-equiv="refresh" content="120"></head><body class="no-js"><div class="main-wrapper" role="main"><div class="main-content"><noscript><div class="h2"><span id="challenge-error-text">Enable JavaScript and cookies to continue</span></div></noscript></div></div><script>(function(){window._cf_chl_opt={cvId: '3',cZone: "publications.waset.org",cType: 'non-interactive',cRay: '91361ab91a5f5cd6',cH: 'TCptKzBdU6eqQIZvUmm9auHkPyKUp8v_JQNBYSPl1m4-1739798736-1.2.1.1-tdYUzLouxM7gb.bABCc_Ucz63N9M.uuLID1F0El_QqMSPSfcdp_AJQGUrO.PFU.q',cUPMDTk: "\/abstracts\/search?q=constraint-based%20model&__cf_chl_tk=cQOav2jDED3YChwSVSP3dbwroUb_kBkgD5YTTyrQSqY-1739798736-1.0.1.1-lLGRN8QM3KJDm4gcEpqUE2AHBfIHpKOhcTwyPS61M_E",cFPWv: 'b',cITimeS: '1739798736',cTTimeMs: '1000',cMTimeMs: '120000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "",fa: "\/abstracts\/search?q=constraint-based%20model&__cf_chl_f_tk=cQOav2jDED3YChwSVSP3dbwroUb_kBkgD5YTTyrQSqY-1739798736-1.0.1.1-lLGRN8QM3KJDm4gcEpqUE2AHBfIHpKOhcTwyPS61M_E",md: "kz2_ErZBlD3e5UcLKY3nfv6icnE5LArEwhCQ1F.YtNc-1739798736-1.2.1.1-ElAxTjGkz8mu14BceeXnu2IcTySerwt.IP9fTfBtaoE10w7d2vcNsuJ05jc8v2kdYl3AuBz8Tpvuv3kNsymeG_fJ0zBENWpHK6NO60Szdx4.FAHbpzEYTJuN3ROgzX.mYJE480KtmZ6HPoOH_bEGV3M_QmfnS9Is6_KZSEZD_GDBZRTmLHANGhSMx7j25ZXduuOz8fwV0BGQb6RteydIeWLMmwmPloUFPPv.rjBpr1uRCMoOhz78owAjSKi485UtM9X_R7J85sj2gzj1EghnM_0Zp2lCt0udUepPfCnAl.ZrkS9DS_U1ZuaPaS6tty6UmN1aAmlBM39pnTGKgefyYuCg9gG4DHBamS9vivayfu4hKbupatLeJurmOqt8KgJMIVpW0oTG_4PUeeZG46I7hef_NrAAYxe.0N2Q4eApQn.8DuYpxb3IqeidlXiqUPDI0pYcSSRoZjoZ9ekyhzMIXLSpWZnapguEKRt9Tc5qkiit1qfJI9nmRsECfLOKgzrngKx5D75wSB2V6Fl614CWIFawx2H_PbhwgGRAJi70rb5XJhI6S67rOR_tAvo2F4yMufyvO_zh1gnmR0B87ZkcsA5XVHivd2Vyb5vQWKaQUzLpH24SQninLLHbNr4Qy_gIqDYLCeyPDeRBb03BoIRk9u6HpX38xXbg9RgSHlJ_oqrPH.hBn7Vd9vHUBWRNanlVY7g2zzgcywVCKvBNLTAY_ox12ct7wj5u3gPyyks.MpIp6MfJUIW75FQ6i7kegU.OBpoOMoPawklrLkDi3Y_KN2GZqhGrfFE7KJdcmkdKmRFswPa4fj1Ri4GhSdH6HcN6cNH8iD0dMUr832nsoXu3nTEJcUTgwpRz8v7TX64Wkh6vlpKbnz6N4R4UR7OGTiTRKOe5LVid_AHe9Rz3KHCTgCUr_zg.S7I3n8C8189O0k71_f2t1izb0HPGtEng3Ha7TFWgTLmCCl1G_OWYiDB5OmbZfznXFXR.o6e3Xn9yJs3bXGZSIKXT.4J3Rw1AzX1.hvhMi5KKCaUAqbgEvIwm.TH2nPcdhcRbJSeeMtTQ8c1rmBuDkUtmIpG0QWxR4n9qlMrRz6wgOqUkUUjis9xu0pWUfO_FrWhiD8oAWM5tXsuwV4CgmKPs_XMTGQzo5mZno6lxtbbUFxtE8vVMXRZGPuf89SOQjTQcgJLPjBN96lmzlrsEZcWFzsX_HNao56X0IIWe2rP_KobsLMr4Zv8eemhX.CxDWZ4_uMuIgUa4pNd9VyZxb8SXRjGvGjQA.tsQsJST0DH5P38aAKup8uv5tAaN_Jclmst26ltnJi7xUa2k5Hgak9em9PtjvFeE3ZrVUT_0n1NhESuOdjgbAEZtl2BEMbI5EZz3xzpoLXGGA1Fk09wErlqg_qChFpY.TjzG9L9w.Lp2iWrER49BbGnzb9_KERDrO03ShcGoIkrrQ.MUqwnNvObKpBl6mnoCwI6kd9_tp2U0uLxcUHFuLvTJV0qq7Z3z5FYgiyXeeqyGkQZR4lLFDlgesUEae7VpDh446KfV.cGGc_LLoHCuUUwPz_7vAJPG7QVg5XsbSsa0ke70ilitl7jgUn0mWsMiKqrMmR1aoqKgvSyt_eMuVRJfOphKDUmBXYnCeLH5lJcjqa9SEW2Z9l1Y9r5D.qj_II0lTfGoZwoPUK.INJo1EfoJ1UnRZtwCeb.Up9FlWf_hr6FgwRFSPoHrQbV04w9qBYR1j2I5yL.puGJG93dzpPtpbM_6h20Mie8bjyCwFfZMyVX4dw3PlqGUXl5JFbSS3cnX.pWyCwzlzrbcOVnv9XcTP0y3D_znt2G6Umsftk0Ir8c.QAVp7e7j4Kv.fRPmAGnkhE_zayoXFOpq5lELET4xUMb2kMjlb3a08eusvZrgjQ5qUDojSKfdKrS_iWSsSIaqbuB9nU0KSymX24gUZTpsxfEW_R.MGqbqfHbCwJ8aMyPEQEKsEHT2jHqdth1_GNyz",mdrd: "Pe9dcyMgZNpt2G8hcbs9Xqj1W_kRpNIXlyIkkcLqtr4-1739798736-1.2.1.1-tWjXo0mDZ1hxOMNXY2EIviEvH_h9tXYUeC3F5VWaV_Gy7F2R94HQ1FeWDTNqwxAG89HEb3hcaKoWndjG55aIs8gFzeWDA5iVyf7A4ho.KmH.VdmiscI2HfeoWBZ6v6Ec64TzwJzDKiLakf7cPnpn6op4UG9uI2l2nqtOyunQB2a.R7Vm1XLwpy33bG1.TdPd051RpbFF9XbDf9yxkbgGvxjujA2SPMwec3ThmTyt.qg37HIgVfS4jAyKwgZOJ2.2dAPLpctgKVgq_26B6YFelvcypIEzh02UAmgjt1n0__yVI1xsmiXKXDypY..G27AZzEJqGB4cCbDBsCkrcMorPWsBZZOmlc2ZOVykMjofd22piVJEWN4ji4W2BysVBABrtlGQqbFVbUnmI3xKq7vHLhDc1xkDIGSm7nM5WKNFENuERqSXvCi48lwIklbjWsbUiqZJSBMIF9FYdMEZuFB9hUJurN2tzV_Kv8XMM.zoq3HINNdFCYZihC5MJBs2Gmjiz_pTfQj287wGTiJnxReRfiVVB1gUlCJVTRpUGeNdxdduphZNyl0eG3S1AzcmJctV0vP45wm8syWctkwtQPX4zdOQDmIcrGCjVcFYv7zM4z88O2Gl3GUJXY8CES69myegtBDKBp_G_BxEefh0BkH0IOX3el8Qr0l_ZfT1te5swzJg_nU5VpekSk2XnPj2AGnPJSO5_DM_bWkv8uSFOjai10tghaL8ox83Ofwl95zDcSJJlQtYthRzzPagxTndqTB35VBi66wceYD3U2xkh4zJgIIRb5omM8Uet8_GOWNPpT3DcYkWZkPxcKN5gHL4Y68PXdPwlO3n7v68pfpRUXg1YtyNcIlEiS6RG7U03g3L28J2H1Xww8DxFsSeqBlXfGGIwfd2ElLDEGmludqJjG.qcUJqIIwNDnVKh5.hS0Zag881ITYlc3zkER..sem74kQIn6cKHnqVeziJ4MJ4KiR_Ny.9b0rhONwco0zI.GwxF5vXdCG3S069mEEOhBuhSnY1MFdXrRjFrU2C3O4BTI9h52wJRH0dr7v1Vg3g5Jwd0V3EZEIB2HTyxBnWb9OD9i4t5NObT6PTXcV341F3ac6z.KwfTjEXNUujPdkqNZEIjqkzPCFUxhy4M_uPMWVoWWQqUNguNgW_KCem5HazwkwWjVRik7vvy6C4vMBDiXIMpIiQNCihUdprkFh3ZAowDHEZ7t_mCc9hRQ9abGsgQmqsArrAssJjlwDWk9mR7Hnfkn4o_Z9Ilzz0L_AfdRV3U8JgVdaPBlazR9nVRZR2Tfsv8fXguaaUEKKrsoXvMQ0g6JyzWXfVzKvNJVoezm2UX1wg.fv.sORIBmKn7bYHZyn2Ocve8idGsQNKjVWJ3rEbZMgKfihDiHJjmXDHQlLCIybgmSytqP0ZRuPWQ9HG7.djJDOaH70kb2BELkLqEe4gFkg19FBIgBsyrhPx7oFCpy.dcMvKQl0vxkduv0ADV2mbWZVXk1iC1qWyVZwtlEd7aT3EsZ9.oZP8JsNj2_n1kRTwCbPMGvtqpd1I3dF5e5snJCw87QaxWcqE5HWIZe6ZNziTayGIy04.DYgU96bl6iatx0Z.2RnttPBozJjKxIgMNqJbUNH8kd3nYcAZkvgd4.oyIOtdNVjmOSd_2LDqmObHJXHbXY1.0ixNsz9N3yEMc.E5AReJwfiN.DKts6XoPsXS5G8Cr8GZBHMQqlXmM7W5okrWcg7ssoNJkenYQ2PdrMV7GWA6GTA1flacxFMLcIK4S9cSaCqRI7YSP3lZW6hC0eznGVloE3xpU4OIT7UItYII9sOZOYCV5yEmuk2UxFmX6UnHQ2laWi8tCjW9jb3Izz_yYyvF1m3DhKZoZDkeM6OKcHEFdppYbKVkJFU8P5cPRc11RaEjuUWOFe8PCvG3sRstAwS.GK76HEcVeoznfnYWm7.FrgGFd_dmPuWXZe5vpxNM7BROFDYGpG8MSFJV"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=91361ab91a5f5cd6';window._cf_chl_opt.cOgUHash = location.hash === '' && location.href.indexOf('#') !== -1 ? '#' : location.hash;window._cf_chl_opt.cOgUQuery = location.search === '' && location.href.slice(0, location.href.length - window._cf_chl_opt.cOgUHash.length).indexOf('?') !== -1 ? '?' : location.search;if (window.history && window.history.replaceState) {var ogU = location.pathname + window._cf_chl_opt.cOgUQuery + window._cf_chl_opt.cOgUHash;history.replaceState(null, null, "\/abstracts\/search?q=constraint-based%20model&__cf_chl_rt_tk=cQOav2jDED3YChwSVSP3dbwroUb_kBkgD5YTTyrQSqY-1739798736-1.0.1.1-lLGRN8QM3KJDm4gcEpqUE2AHBfIHpKOhcTwyPS61M_E" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>