| 2008 |
|---|
| 11 | EE | Rune M. Jensen,
Manuela M. Veloso,
Randal E. Bryant:
State-set branching: Leveraging BDDs for heuristic search.
Artif. Intell. 172(2-3): 103-139 (2008) |
| 2007 |
|---|
| 10 | EE | Tarik Hadzic,
Rune M. Jensen,
Henrik Reif Andersen:
Calculating Valid Domains for BDD-Based Interactive Configuration
CoRR abs/0704.1394: (2007) |
| 2006 |
|---|
| 9 | | Rune M. Jensen,
Eric A. Hansen,
Simon Richards,
Rong Zhou:
Memory-Efficient Symbolic Heuristic Search.
ICAPS 2006: 304-313 |
| 2004 |
|---|
| 8 | EE | Rune M. Jensen:
CLab: A C++ Library for Fast Backtrack-Free Interactive Product Configuration..
CP 2004: 816 |
| 7 | | Rune M. Jensen,
Manuela M. Veloso,
Randal E. Bryant:
Fault Tolerant Planning: Toward Probabilistic Uncertainty Models in Symbolic Non-Deterministic Planning.
ICAPS 2004: 335-344 |
| 2003 |
|---|
| 6 | | Rune M. Jensen,
Manuela M. Veloso,
Randal E. Bryant:
Guided Symbolic Universal Planning.
ICAPS 2003: 123-132 |
| 5 | | Michael H. Bowling,
Rune M. Jensen,
Manuela M. Veloso:
A Formalization of Equilibria for Multiagent Planning.
IJCAI 2003: 1460-1462 |
| 2002 |
|---|
| 4 | | Rune M. Jensen,
Randal E. Bryant,
Manuela M. Veloso:
SetA*: An Efficient BDD-Based Heuristic Search Algorithm.
AAAI/IAAI 2002: 668-673 |
| 2000 |
|---|
| 3 | | Rune M. Jensen,
Manuela M. Veloso:
OBDD-Based Universal Planning for Multiple Synchronized Agents in Non-Deterministic Domains.
AIPS 2000: 167-176 |
| 2 | EE | Rune M. Jensen,
Manuela M. Veloso:
OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains.
J. Artif. Intell. Res. (JAIR) 13: 189-226 (2000) |
| 1999 |
|---|
| 1 | EE | Rune M. Jensen,
Manuela M. Veloso:
OBDD-based Universal Planning: Specifying and Solving Planning Problems for Synchronized Agents in Non-deterministic Domains.
Artificial Intelligence Today 1999: 213-248 |
