TY - CONF A1 - Berthold, Timo A1 - Heinz, Stefan A1 - Pfetsch, Marc A2 - Kullmann, Oliver T1 - Nonlinear pseudo-Boolean optimization T2 - Theory and Applications of Satisfiability Testing – SAT 2009 Y1 - 2009 UR - https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/2821 VL - 5584 SP - 441 EP - 446 PB - Springer ER -