Decision Diagrams for Optimization
Decision diagrams are compact graphical representations of Boolean functions originally introduced for applications in circuit design, simulation, and formal verification. Recently, they have been considered for a variety of purposes in optimization and operations research. These include facet enume...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
Research Showcase @ CMU
2014
|
| Online Access: | http://repository.cmu.edu/dissertations/538 http://repository.cmu.edu/cgi/viewcontent.cgi?article=1571&context=dissertations |