2008 |
13 | EE | Tarik Hadzic,
John N. Hooker,
Barry O'Sullivan,
Peter Tiedemann:
Approximate Compilation of Constraints into Multivalued Decision Diagrams.
CP 2008: 448-462 |
12 | EE | Tarik Hadzic,
John N. Hooker,
Peter Tiedemann:
Propagating Separable Equalities in an MDD Store.
CPAIOR 2008: 318-322 |
11 | EE | Tarik Hadzic,
David Lesaint,
Deepak Mehta,
Barry O'Sullivan,
Luis Quesada,
Nic Wilson:
A BDD Approach to the Feature Subscription Problem.
ECAI 2008: 698-702 |
10 | EE | Tarik Hadzic,
Esben Rune Hansen,
Barry O'Sullivan:
Layer Compression in Decision Diagrams.
ICTAI (1) 2008: 19-26 |
9 | EE | Tarik Hadzic,
Barry O'Sullivan:
Critique graphs for catalogue navigation.
RecSys 2008: 115-122 |
2007 |
8 | EE | Henrik Reif Andersen,
Tarik Hadzic,
John N. Hooker,
Peter Tiedemann:
A Constraint Store Based on Multivalued Decision Diagrams.
CP 2007: 118-132 |
7 | EE | Tarik Hadzic,
John N. Hooker:
Cost-Bounded Binary Decision Diagrams for 0-1 Programming.
CPAIOR 2007: 84-98 |
6 | EE | Tarik Hadzic,
Andrzej Wasowski,
Henrik Reif Andersen:
Techniques for Efficient Interactive Configuration of Distribution Networks.
IJCAI 2007: 100-105 |
5 | EE | Tarik Hadzic,
Rune M. Jensen,
Henrik Reif Andersen:
Calculating Valid Domains for BDD-Based Interactive Configuration
CoRR abs/0704.1394: (2007) |
2006 |
4 | | Tarik Hadzic,
Henrik Reif Andersen:
A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration.
AAAI 2006 |
3 | EE | Peter Tiedemann,
Tarik Hadzic,
Thomas Stuart Henney,
Henrik Reif Andersen:
Interactive Distributed Configuration.
CP 2006: 761-765 |
2005 |
2 | EE | Tarik Hadzic,
Henrik Reif Andersen:
Interactive Reconfiguration in Power Supply Restoration.
CP 2005: 767-771 |
2004 |
1 | EE | Tarik Hadzic:
A BDD-Based Approach to Interactive Configuration.
CP 2004: 797 |