Rune Møller Jensen

Phone72185048
Emailrmjitudk

Research activity per year

If you made any changes in Pure these will be visible here soon.

28 Article in proceedings
14 Report
13 Conference abstract for conference
9 Journal article
More

14 results

Filter

2017
Using Fourier-Motzkin-Elimination to Derive Capacity Models of Container Vessels
Ajspur, M. L. & Jensen, R. M., Jan 2017, 46 p. (ITU Technical Report Series; No. TR-2017-197).
Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

File
2012
A PDDL Domain for the Liner Shipping Fleet Repositioning Problem
Tierney, K., Coles, A., Coles, A. & Jensen, R. M., 2012, IT-Universitetet i København. 16 p. (ITU Technical Report Series; No. TR-2012-152).
Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

File
2010
A Constraint Programming Model for Fast Optimal Stowage of Container Vessel Bays
Delgado-Ortegon, A., Jensen, R. M., Janstrup, K., Rose, T. & Andersen, K., Oct 2010, IT-Universitetet i København. 21 p.
Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

Open Access
File
On the Complexity of Container Stowage Planning: the Capacitated Zero-Shift Problem and the Hatch Overstow Problem
Jensen, R. M., 2010, IT-Universitetet i København.
Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research
The Container Stowage Problem
Janstrup, K., Rose, T. H., Andersen, K. H. & Jensen, R. M., Dec 2010, IT-Universitetet i København. 55 p.
Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research
2008

Constraint Optimization for Highly Constrained Logistic Problems
Mochnacs, M. K., Tanaka, M. A., Nyborg, A. & Jensen, R. M., 2008, Copenhagen: IT-Universitetet i København. 136 p. (IT University Technical Report Series; No. TR-2007-2008-104).
Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research
Minimizing Lid Overstows in Master Stowage Plans for Container Vessels is NP-Complete
Ajspur, M. L., Jensen, R. M. & Guilbert, N., 2008, Copenhagen: IT-Universitetet i København. 23 p. (IT University Technical Report Series; No. TR-2008-107).
Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research
2005

Calculating Valid Domains for BDD-Based Interactive Configuration
Hadzic, T., Jensen, R. M. & Andersen, H. R., 2005, 9 p.
Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

Open Access
File
2004
CLab 1.0 User Manual
Jensen, R. M., 2004, IT University of Copenhagen. 18 p.
Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

Open Access
File
2003
DES Controller Synthesis and Fault Tolerant Control
Jensen, R. M., 2003, IT University of Copenhagen. 13 p.
Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

Open Access
File
Substitution and Flip BDDs
Jensen, R. M. & Andersen, H. R., 2003, IT University of Copenhagen. 24 p.
Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

Open Access
File
2002
A Comparison Study between the CUDD and BuDDy OBDD Package Applied to AI-Planning problems
Jensen, R. M., 2002, Technical Report CMU-CS-02-173 ed. Carnegie Mellon University. 7 p.
Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

Open Access
File
SetA* Applied to Channel Routing
Jensen, R. M., Bryant, R. E. & Veloso, M. M., 2002, Technical Report CMU-CS-02-172 ed. Carnegie Mellon University. 12 p.
Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

Open Access
File
State-Set Branching: Leveraging OBDDs for Heuristic Search
Jensen, R. M., Veloso, M. M. & Bryant, R. E., 2002, Technical Report CMU-CS-02-174 ed. Carnegie Mellon University. 51 p.
Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

Open Access
File

Rune Møller Jensen

Research output

Search results