Login
- Autor(en):
- Lukasiewycz, Martin; Glaß, Michael; Haubelt, Christian; Teich, Jürgen
- Titel:
- Solving Multiobjective Pseudo-Boolean Problems
- Kongress- / Buchtitel:
- Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT)
- Verlagsort:
- Lisbon, Portugal
- Jahr:
- 2007
- Seiten:
- 56--69
BibTeX