2008 |
11 | EE | Tarik Hadzic,
John N. Hooker,
Barry O'Sullivan,
Peter Tiedemann:
Approximate Compilation of Constraints into Multivalued Decision Diagrams.
CP 2008: 448-462 |
10 | EE | Tarik Hadzic,
John N. Hooker,
Peter Tiedemann:
Propagating Separable Equalities in an MDD Store.
CPAIOR 2008: 318-322 |
9 | EE | Esben Rune Hansen,
S. Srinivasa Rao,
Peter Tiedemann:
Compressing Binary Decision Diagrams.
ECAI 2008: 799-800 |
8 | EE | Esben Rune Hansen,
Peter Tiedemann:
Improving the Performance of Interactive Configuration with Regular String Constraints.
ICTAI (1) 2008: 3-10 |
7 | EE | Esben Rune Hansen,
S. Srinivasa Rao,
Peter Tiedemann:
Compressing Binary Decision Diagrams
CoRR abs/0805.3267: (2008) |
2007 |
6 | | Esben Rune Hansen,
Peter Tiedemann:
Compressing Configuration Data for Memory Limited Devices.
AAAI 2007: 210-216 |
5 | EE | Henrik Reif Andersen,
Tarik Hadzic,
John N. Hooker,
Peter Tiedemann:
A Constraint Store Based on Multivalued Decision Diagrams.
CP 2007: 118-132 |
4 | EE | Peter Tiedemann,
Henrik Reif Andersen,
Rasmus Pagh:
Generic Global Constraints based on MDDs
CoRR abs/cs/0702170: (2007) |
2006 |
3 | EE | Peter Tiedemann,
Tarik Hadzic,
Thomas Stuart Henney,
Henrik Reif Andersen:
Interactive Distributed Configuration.
CP 2006: 761-765 |
2 | EE | Mette Berger,
Esben Rune Hansen,
Rasmus Pagh,
Mihai Patrascu,
Milan Ruzic,
Peter Tiedemann:
Deterministic load balancing and dictionaries in the parallel disk model.
SPAA 2006: 299-307 |
1 | EE | Peter Tiedemann,
Henrik Reif Andersen,
Rasmus Pagh:
A Generic Global Constraint based on MDDs
CoRR abs/cs/0611141: (2006) |