%0 Journal Article %1 journals/constraints/Lecoutre11 %A Lecoutre, Christophe %D 2011 %J Constraints An Int. J. %K dblp %N 4 %P 341-371 %T STR2: optimized simple tabular reduction for table constraints. %U http://dblp.uni-trier.de/db/journals/constraints/constraints16.html#Lecoutre11 %V 16

@article{journals/constraints/Lecoutre11, added-at = {2020-03-13T00:00:00.000+0100}, author = {Lecoutre, Christophe}, biburl = {https://www.bibsonomy.org/bibtex/2a193eff6149a8c2f9c1161f1d6530043/dblp}, ee = {https://doi.org/10.1007/s10601-011-9107-6}, interhash = {b7c5dab6c99abb0e4f8cce1d42afcaf4}, intrahash = {a193eff6149a8c2f9c1161f1d6530043}, journal = {Constraints An Int. J.}, keywords = {dblp}, number = 4, pages = {341-371}, timestamp = {2020-03-14T12:04:33.000+0100}, title = {STR2: optimized simple tabular reduction for table constraints.}, url = {http://dblp.uni-trier.de/db/journals/constraints/constraints16.html#Lecoutre11}, volume = 16, year = 2011 }