91 citations · 92 across the 2 of their papers we have counts for
3 papers
Literature Survey on the Container Stowage Planning Problem
Jaike van Twiller, Agnieszka Sivertsen, Dario Pacino +1
Container shipping drives the global economy and is an eco-friendly mode of transportation. A key objective is to maximize the utilization of vessels, which is challenging due to t…
OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains
R. M. Jensen, M. M. Veloso
Recently model checking representation and search techniques were shown to be efficiently applicable to planning, in particular to non-deterministic planning. Such planning approac…
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…