Benutzer: Gast  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