Research output per year
Research output per year
Research output
- 15 results
Search results
-
2017
Using Fourier-Motzkin-Elimination to Derive Capacity Models of Container Vessels
Ajspur, M. L. & Jensen, R. M., Jan 2017, TR-2017-197 ed. IT-Universitetet i København. 46 p. (IT University Technical Report Series; No. TR-2017-197).Research output: Book / Anthology / Report › Report › Research
File -
2012
A PDDL Domain for the Liner Shipping Fleet Repositioning Problem
Tierney, K., Coles, A., Coles, A. & Jensen, R. M., 2012, TR-2012-152 ed. Copenhagen: IT-Universitetet i København. 16 p. (IT University Technical Report Series; No. TR-2012-152).Research output: Book / Anthology / Report › Report › Research
File -
2010
A 3-Phase Randomized Constraint Based Local Search Algorithm for Stowing Under Deck Locations of Container Vessel Bays
Pacino, D. & Jensen, R. M., Jan 2010, TR-2010-123 ed. Copenhagen: IT-Universitetet i København. 24 p. (IT University Technical Report Series; No. TR-2010-123).Research output: Book / Anthology / Report › Report › Research
Open AccessFile -
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, TR-2010-133 ed. Copenhagen: IT-Universitetet i København. 21 p. (IT University Technical Report Series; No. TR-2010-133).Research output: Book / Anthology / Report › Report › Research
Open AccessFile -
On the Complexity of Container Stowage Planning: the Capacitated Zero-Shift Problem and the Hatch Overstow Problem
Jensen, R. M., 2010, TR-2010-137 ed. IT-Universitetet i København. (IT University Technical Report Series; No. TR-2010-137).Research output: Book / Anthology / Report › Report › Research
Open AccessFile -
The Container Stowage Problem
Janstrup, K., Rose, T. H., Andersen, K. H. & Jensen, R. M., Dec 2010, TR-2010-134 ed. IT-Universitetet i København. 55 p. (IT University Technical Report Series; No. TR-2010-134).Research output: Book / Anthology / Report › Report › Research
Open AccessFile -
2008
Constraint Optimization for Highly Constrained Logistic Problems
Mochnacs, M. K., Tanaka, M. A., Nyborg, A. & Jensen, R. M., 2008, TR-2007-2008-104 ed. Copenhagen: IT-Universitetet i København. 136 p. (IT University Technical Report Series; No. TR-2007-2008-104).Research output: Book / Anthology / Report › Report › Research
Open AccessFile -
Minimizing Lid Overstows in Master Stowage Plans for Container Vessels is NP-Complete
Ajspur, M. L., Jensen, R. M. & Guilbert, N., 2008, TR-2008-107 ed. Copenhagen: IT-Universitetet i København. 23 p. (IT University Technical Report Series; No. TR-2008-107).Research output: Book / Anthology / Report › Report › Research
Open AccessFile -
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 › Report › Research
Open AccessFile -
2004
CLab 1.0 User Manual
Jensen, R. M., 2004, TR-2004-46 ed. IT University of Copenhagen. 18 p. (IT University Technical Report Series; No. TR-2004-46).Research output: Book / Anthology / Report › Report › Research
Open AccessFile -
2003
DES Controller Synthesis and Fault Tolerant Control
Jensen, R. M., 2003, TR-2003-40 ed. IT University of Copenhagen. 13 p. (IT University Technical Report Series; No. TR-2003-40).Research output: Book / Anthology / Report › Report › Research
Open AccessFile -
Substitution and Flip BDDs
Jensen, R. M. & Andersen, H. R., 2003, TR-2003-41 ed. IT University of Copenhagen. 24 p. (IT University Technical Report Series; No. TR-2003-41).Research output: Book / Anthology / Report › Report › Research
Open AccessFile -
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 › Report › Research
Open AccessFile -
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 › Report › Research
Open AccessFile -
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 › Report › Research
Open AccessFile