Ivor Spence. Weakening Cardinality Constraints Creates Harder Satisfiability Benchmarks. ACM Journal of Experimental Algorithmics, 20, 2015. [doi]
@article{Spence15-2, title = {Weakening Cardinality Constraints Creates Harder Satisfiability Benchmarks}, author = {Ivor Spence}, year = {2015}, doi = {10.1145/2746239}, url = {http://doi.acm.org/10.1145/2746239}, researchr = {https://researchr.org/publication/Spence15-2}, cites = {0}, citedby = {0}, journal = {ACM Journal of Experimental Algorithmics}, volume = {20}, }