2008 |
4 | EE | François Bry,
Tim Furche,
Clemens Ley,
Benedikt Linse,
Bruno Marnette:
Taming Existence in RDF Querying.
RR 2008: 236-237 |
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) |