Login
- Author(s):
- Lukasiewycz, Martin; Glaß, Michael; Haubelt, Christian; Teich, Jürgen
- Title:
- Solving Multiobjective Pseudo-Boolean Problems
- Book / Congress title:
- Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT)
- Publisher address:
- Lisbon, Portugal
- Year:
- 2007
- Pages:
- 56--69
BibTeX