Decision Diagrams for Combinatorial Optimization and Satisfaction
In this thesis we develop techniques for applying binary decision diagrams (BDDs) and multivalued decision diagrams (MDDs) to combinatorial optimization and satisfaction problems, in particular multidimensional bin packing problems and the Boolean satisfiability problem. In the multidimensional bin...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
Research Showcase @ CMU
2015
|
| Online Access: | http://repository.cmu.edu/dissertations/521 http://repository.cmu.edu/cgi/viewcontent.cgi?article=1521&context=dissertations |