Zobrazeno 1 - 10
of 38
pro vyhledávání: '"Hadzic, Tarik"'
Publikováno v:
Journal Of Artificial Intelligence Research, Volume 37, pages 99-139, 2010
In many AI domains such as product configuration, a user should interactively specify a solution that must satisfy a set of constraints. In such scenarios, offline compilation of feasible solutions into a tractable representation is an important appr
Externí odkaz:
http://arxiv.org/abs/1401.3830
Autor:
Polioudakis, Damon, de la Torre-Ubieta, Luis, Langerman, Justin, Elkins, Andrew G., Shi, Xu, Stein, Jason L., Vuong, Celine K., Nichterwitz, Susanne, Gevorgian, Melinda, Opland, Carli K., Lu, Daning, Connell, William, Ruzzo, Elizabeth K., Lowe, Jennifer K., Hadzic, Tarik, Hinz, Flora I., Sabri, Shan, Lowry, William E., Gerstein, Mark B., Plath, Kathrin, Geschwind, Daniel H.
Publikováno v:
In Neuron 4 September 2019 103(5):785-801
In these notes we formally describe the functionality of Calculating Valid Domains from the BDD representing the solution space of valid configurations. The formalization is largely based on the CLab configuration framework.
Externí odkaz:
http://arxiv.org/abs/0704.1394
Autor:
Park, Dongkook, Hadžić, Tarik, Yin, Ping, Rusch, Jannette, Abruzzi, Katharine, Rosbash, Michael, Skeath, James B., Panda, Satchidananda, Sweedler, Jonathan V., Taghert, Paul H.
Publikováno v:
In Current Biology 27 September 2011 21(18):1515-1524
Autor:
Hadzic, Tarik, Hooker, John N.
We show how binary decision diagrams (BDDs) can be used to solve and obtain postoptimality analysis for linear and nonlinear integer programming problems with binary or general integer variables. The constraint set corresponds to a unique reduced BDD
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a52df8268afab4aaf1a60fb1900075d4
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Integration of AI & OR Techniques in Constraint Programming (9783319339535); 2016, p319-328, 10p