مرکز منطقه ای اطلاع رساني علوم و فناوري - Adding cardinality constraints to integer programs with applications to maximum satisfiability

Title of article :

Adding cardinality constraints to integer programs with applications to maximum satisfiability

Author/Authors :

Markus Bl?ser، نويسنده , , Thomas Heynen، نويسنده , , Bodo Manthey، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2007

Pages :

From page :

194

To page :

198

Keywords :

Satisfiability , Cardinality constraints , approximation algorithms , randomized algorithms

Journal title :

Information Processing Letters

Serial Year :

2007

Journal title :

Information Processing Letters

Record number :

130557

Link To Document :