ISAIM 2018: Fort Lauderdale, FL, USA

Regular Track

Special session on Flow Optimization in Traffic Networks

Special session on Boolean and pseudo-Boolean Functions

Special session on Formalising Robot Ethics

Special session on Theory of Machine Learning

Special session on Applications of SAT

a service of Schloss Dagstuhl - Leibniz Center for Informatics