Adding cardinality constraints to integer programs with applications to maximum satisfiability - Bläser, Markus; Heynen, Thomas; Manthey, Bodo (Information processing letters, 2008)
Keywords: Algorithmics. Computability. Computer arithmetics; Algorithms; Applied sciences; Approximation; Approximation algorithms; Calculus of variations and optimal control; Cardinality constraints; Computer science; control theory; systems; Exact sciences and technology; Integer programming; Mathematical analysis; Mathematics; Miscellaneous; Numerical analysis; Numerical analysis. Scientific computation; Numerical methods in mathematical programming, optimization and calculus of variations; Random variables; Randomized algorithms; Ratios; Satisfiability; Sciences and techniques of general use; Studies; Theoretical computing; Approximation algorithms; Randomized algorithms; Cardinality constraints; Satisfiability; Approximation; Computer theory; Constraint; Optimization method; Probability; Probability distribution; Approximation algorithm; Optimization; Application program; Probability space; Assignment; Design; Integer; Maximum; Information processing; Satisfiability problem; Application; Random variable; Algorithm analysis