Thomas Delacroix. Choisir un encodage CNF de contraintes de cardinalité performant pour SAT(Choosing an efficient CNF encoding of cardinality constraints for SAT). In Jérôme Euzenat, François Schwarzentruber, editors, Actes de la Conférence Nationale d'Intelligence Artificielle et Rencontres des Jeunes Chercheurs en Intelligence Artificielle (CNIA+RJCIA 2018), Nancy, France, 4-6 Juillet 2018. Volume 2133 of CEUR Workshop Proceedings, pages 58-64, CEUR-WS.org, 2018. [doi]
Abstract is missing.