Accepted Papers

Links to the accepted papers below will be available after the deadline of the final versions.

Regular Track

Special Session on Flow Optimization in Traffic Networks

TBA

Special Session on Boolean and pseudo-Boolean Functions

Special Session on Formalising Robot Ethics

TBA

Special Session on Topological Reasoning and Data Analyses

TBA

Special Session on Theory of Machine Learning

TBA

Special Session on Applications of SAT

TBA