Vol-2132⫷ Vol-2133 ⫸Vol-2134
urn:nbn:de:0074-2133-0


Vol-2133/cnia-paper1⫷Vol-2133/cnia-paper2⫸Vol-2133/cnia-paper3
Thomas Delacroix

Choisir un encodage CNF de contraintes de cardinalité performant pour SAT(Choosing an efficient CNF encoding of cardinality constraints for SAT)