Login / Signup

Efficient SAT-Based Encodings of Conditional Cardinality Constraints.

Abdelhamid BoudaneSaïd JabbourBadran RaddaouiLakhdar Sais
Published in: LPAR (2018)
Keyphrases
  • cardinality constraints
  • database
  • search space
  • boolean algebra
  • boolean satisfiability