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