20 citations · 20 across the 1 of their papers we have counts for
2 papers
cs.AI2014★ 20 cited
Interactive Cost Configuration Over Decision Diagrams
Henrik Reif Andersen, Tarik Hadzic, David Pisinger
In many AI domains such as product configuration, a user should interactively specify a solution that must satisfy a set of constraints. In such scenarios, offline compilation of f…
cs.AI2007
Calculating Valid Domains for BDD-Based Interactive Configuration
Tarik Hadzic, Rune Moller Jensen, Henrik Reif Andersen
In these notes we formally describe the functionality of Calculating Valid Domains from the BDD representing the solution space of valid configurations. The formalization is largel…