Explore projects
-
Updated
-
Updated
-
Implementations of exact and heuristic methods for collision-free path planning of Automated Guided Vehicles (AGVs) in container terminals.
Updated -
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
-
-
Updated
-
The SAT and MaxSAT encoding for generating optimal binary decision diagrams.
Updated -
The SAT and MaxSAT encoding for generating optimal binary decision diagrams.
Updated