In this meeting of the AI Seminar Series, Dr. Gleb Belov will talk to us about a cargo assembly planning problem! Dr. Graeme Gange will speak about Switching Lattices.
-----------------------------------------
Title: Local search for a cargo assembly planning problem
Speaker: Dr. Gleb Belov
When: Tuesday, 8th April 11am - 12noon
Where: Doug McDonnell-10.05
Abstract:
We consider a real-world cargo assembly planning problem
arising in a coal supply chain. The cargoes are built on the stockyard
at a port terminal from coal delivered by trains. Then the cargoes are
loaded onto vessels. Only a limited number of arriving vessels is known
in advance. The goal is to minimize the average delay time of the
vessels over a long planning period.We model the problem in the MiniZinc
constraint programming language and design a large neighbourhood search
scheme. We compare against (an extended version of) a greedy heuristic
for the same problem.
Bio:
Dr. Gleb Belov is a postdoc working with Professor Peter Stuckey on stockyard
planning problems.
-----------------------------------------
Title: Synthesizing Smaller Switching Lattices
Speaker: Dr. Graeme Gange
When: Tuesday, 8th April 11am - 12noon
Where: Doug McDonnell-10.05
Abstract:
The use of nanoscale technologies to create electronic devices
has revived interest in the use of regular structures
for defining complex logical functions.
Two-dimensional lattices of four-terminal switches are a powerful
form of regular structure which is suited to nanoscale self-assembly.
In this paper we show how to synthesize
optimal size switching lattices for arbitrary logic functions,
by translating the problem to the satisfiability problem for a
restricted class of quantified Boolean formulas.
We provide an anytime algorithm for synthesizing switching lattices
by make use of modern SAT solving technology and dichotomic search.
We show that an earlier proposal for creating switching lattices for
arbitrary logic functions create solutions which are far from optimal.
Bio:
Dr. Graeme Gange is a postdoc working with Professor Peter Stuckey on a range of problems in the fields of constraint programming, graph drawing, and formal verification.
Back