A Pseudo-Boolean Set Covering Machine.

Pascal Germain Sébastien Giguère Jean-Francis Roy Brice Zirakiza François Laviolette Claude-Guy Quimper

Published in: CP (2012)

Keyphrases

set covering
pseudo boolean
integer linear programming
set covering problem
column generation
pseudo boolean constraints
integer programming
combinatorial problems
propositional satisfiability
hypergraph model
propositional logic
exact solution