Search the dblp DataBase

Publications of Author

1. Viktor Kuncak, Martin C. Rinard, Bruno Marnette
   On Algorithms and Complexity for Sets with Cardinality Constraints. [Citation Graph (0, 0)][DBLP]
   Deduction and Applications, 2005, pp:- [Conf]
   
2. Bruno Marnette, Viktor Kuncak, Martin C. Rinard
   Polynomial Constraints for Sets with Cardinality Bounds. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2007, pp:258-273 [Conf]
   
3. 
   HyperConsistency Width for Constraint Satisfaction: Algorithms and Complexity Results. [Citation Graph (, )][DBLP]
   
   
4. 
   Static analysis of schema-mappings ensuring oblivious termination. [Citation Graph (, )][DBLP]
   
   
5. 
   Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications. [Citation Graph (, )][DBLP]
   
   
6. 
   Generalized schema-mappings: from termination to tractability. [Citation Graph (, )][DBLP]
   
   
7. 
   Taming Existence in RDF Querying. [Citation Graph (, )][DBLP]
   
   
8. 
   On Algorithms and Complexity for Sets with Cardinality Constraints [Citation Graph (, )][DBLP]