| |
| 2007 | ||
|---|---|---|
| 3 | EE | Bruno Marnette, Viktor Kuncak, Martin C. Rinard: Polynomial Constraints for Sets with Cardinality Bounds. FoSSaCS 2007: 258-273 |
| 2005 | ||
| 2 | EE | Viktor Kuncak, Martin C. Rinard, Bruno Marnette: On Algorithms and Complexity for Sets with Cardinality Constraints. Deduction and Applications 2005 |
| 1 | EE | Bruno Marnette, Viktor Kuncak, Martin C. Rinard: On Algorithms and Complexity for Sets with Cardinality Constraints CoRR abs/cs/0508123: (2005) |
| 1 | Viktor Kuncak | [1] [2] [3] |
| 2 | Martin C. Rinard | [1] [2] [3] |