On algorithms and complexity for sets with cardinality constraints (2005)

by Bruno Marnette
Citations:10 - 7 self

Active Bibliography

36 Modular Data Structure Verification – Martin C. Rinard - 2007
31 Deciding Boolean Algebra with Presburger Arithmetic – Viktor Kuncak, Huu Hai Nguyen, Martin Rinard
19 On Decision Procedures for Set-Valued Fields – Viktor Kuncak, Martin Rinard - 2004
Ezy Mnogo'sciowe W Pewnych Teoriach R'owno'sciowych – Praca Doktorska, Instytucie Informatyki, Instytucie Matematycznym, Polskiej Akademii Nauk, Promotor Leszek Pacholski, Witold Charatonik, Witold Charatonik, Supervisor Leszek
5 Inferring Recursive Data Types – David Mcallester
8 Entailment of Atomic Set Constraints is PSPACE-Complete – Joachim Niehren, Martin Müller, Jean-marc Talbot - 1999
14 Inclusion Constraints over Non-empty Sets of Trees – Martin Müller, Joachim Niehren, Andreas Podelski - 1997
69 Set Constraints: Results, Applications and Future Directions – Alexander Aiken
1 Polynomial Constraints for Sets with Cardinality Bounds – Bruno Marnette, Viktor Kuncak, Martin Rinard
1 Some Notes on Rational Spaces – Allan Cheng, Dexter Kozen - 1996
3 Tarskian Set Constraints are in NEXPTIME – Pawel Mielniczuk, Leszek Pacholski - 1998
1 Solving Set Constraints for Greatest Models – Witold Charatonik, Andreas Podelski - 1997
27 Set Constraints with Intersection – Witold Charatonik, Andreas Podelski
8 Set Constraints and Automata – Remi Gilleron, et al. - 1996
12 The Independence Property of a Class of Set Constraints – Witold Charatonik, Andreas Podelski - 1996
25 Tarskian Set Constraints – Robert Givan, Dexter Kozen, David McAllester, Carl Witty - 1996
31 Set constraints with projections are in NEXPTIME – Witold Charatonik, Leszek Pacholski - 1994
35 Negative Set Constraints With Equality – Witold Charatonik, Leszek Pacholski - 1994
16 Set constraints and logic programming – Dexter Kozen - 1994