Rune Møller Jensen

Fastnet72185048
E-mailrmjitudk

Publikationer pr. år

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

28 Konferencebidrag i proceedings
14 Rapport
13 Konferenceabstrakt til konference
9 Tidsskriftartikel
Mere

14 resultater

Filter

2017
Using Fourier-Motzkin-Elimination to Derive Capacity Models of Container Vessels
Ajspur, M. L. & Jensen, R. M., jan. 2017, 46 s. (ITU Technical Report Series; Nr. TR-2017-197).
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning

Fil
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 s. (ITU Technical Report Series; Nr. TR-2012-152).
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning

Fil
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., okt. 2010, IT-Universitetet i København. 21 s.
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning

Åben adgang
Fil
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.
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning
The Container Stowage Problem
Janstrup, K., Rose, T. H., Andersen, K. H. & Jensen, R. M., dec. 2010, IT-Universitetet i København. 55 s.
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning
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 s. (IT University Technical Report Series; Nr. TR-2007-2008-104).
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning
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 s. (IT University Technical Report Series; Nr. TR-2008-107).
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning
2005

Calculating Valid Domains for BDD-Based Interactive Configuration
Hadzic, T., Jensen, R. M. & Andersen, H. R., 2005, 9 s.
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning

Åben adgang
Fil
2004
CLab 1.0 User Manual
Jensen, R. M., 2004, IT University of Copenhagen. 18 s.
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning

Åben adgang
Fil
2003
DES Controller Synthesis and Fault Tolerant Control
Jensen, R. M., 2003, IT University of Copenhagen. 13 s.
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning

Åben adgang
Fil
Substitution and Flip BDDs
Jensen, R. M. & Andersen, H. R., 2003, IT University of Copenhagen. 24 s.
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning

Åben adgang
Fil
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 udg. Carnegie Mellon University. 7 s.
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning

Åben adgang
Fil
SetA* Applied to Channel Routing
Jensen, R. M., Bryant, R. E. & Veloso, M. M., 2002, Technical Report CMU-CS-02-172 udg. Carnegie Mellon University. 12 s.
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning

Åben adgang
Fil
State-Set Branching: Leveraging OBDDs for Heuristic Search
Jensen, R. M., Veloso, M. M. & Bryant, R. E., 2002, Technical Report CMU-CS-02-174 udg. Carnegie Mellon University. 51 s.
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning

Åben adgang
Fil

Rune Møller Jensen

Publikation

Søgeresultater