SBESC 2014 guest editors’ introduction
- 期刊名称Design Automation for Embedded Systems
- 作者Wehrmeister, Marco Aurélio; Ferreira, Ricardo Santos
- 卷第20卷
- 期第2期
- 印刷ISSN0929-5585
- 电子ISSN1572-8080
- 文件大小287.89KB
- 发表时间2016-6
- DOI10.1007/s10617-016-9175-3
- 页码93-94
Finding the optimal variable ordering for binary decision diagramsFriedman, S.J.; Supowit, K.J. · 1990
Optimal ordered binary decision diagrams for read-once formulasMartin Sauerhoff; Ingo Wegener; Ralph Werchner · 2000
Optimal decision-making via binary decision diagrams for investments under a risky environmentPliego Marugán, Alberto; García Márquez, Fausto Pedro; Lev, Benjamin · International Journal of Production Research · 2017
Theoretical insights and algorithmic tools for decision diagram-based optimizationBergman, David; Cire, Andre A. · Constraints · 2016
Model based Binary Decision Diagrams for Complex Networks Reliability OptimizationRebaiaia, Mohamed-Larbi; Ait-Kadi, Daoud · IFAC Proceedings Volumes · 2010
[Artificial Intelligence: Foundations, Theory, and Algorithms] Decision Diagrams for Optimization ||Bergman, David; Cire, Andre A.; van Hoeve, Willem-Jan; Hooker, John · 2016
On the Complexity and Optimization of Branching Programs for Decision Diagram MachinesDvořák, V. · IFAC Proceedings Volumes · 2012
Grand challenges for constraint programmingFreuder, Eugene C.; OâSullivan, Barry · Constraints · 2014
Lightweight dynamic symmetry breakingMears, Christopher; Garcia de la Banda, Maria; Demoen, Bart; Wallace, Mark · Constraints · 2014
Strategic decision making on complex systemsMilano, Michela; Lombardi, Michele · Constraints · 2014
Explaining circuit propagationFrancis, Kathryn Glenn; Stuckey, Peter J. · Constraints · 2014
Reformulation based MaxSAT robustnessMiquel Bofill,Dídac Busquets,Víctor Muñoz,Mateu Villaret · Constraints · 2013
Domain consistency with forbidden valuesYves Deville,Pascal Van Hentenryck,Jean-Baptiste Mairy · Constraints · 2013
Search combinatorsTom Schrijvers,Guido Tack,Pieter Wuille,Horst Samulowitz… · Constraints · 2013
Dominance breaking constraintsChu, Geoffrey; Stuckey, Peter J. · Constraints · 2015