1

Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond

Jan Niclas Dreier, Mock, Daniel, Rossmanith, Peter

Exact Algorithms for Group Closeness Centrality

Luca Pascal Staus and Christian Komusiewicz and Nils Morawietz and Frank Sommer

Fast Convolutions for Near-Convex Sequences

Cornelius Brand and Alexandra Lassota

First-Order Model Checking on Structurally Sparse Graph Classes

Jan Niclas Dreier, Mählmann, Nikolas, Siebertz, Sebastian

Fixed-Parameter Algorithms for Computing RAC Drawings of Graphs

Cornelius Brand, Robert Ganian, Sebastian Röder, Florian Schager

Inconsistent Cores for ASP: The Perks and Perils of Non-Monotonicity

Johannes K. Fichte, Markus Hecher, Stefan Szeider

Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes

Jan Niclas Dreier

Interactive Job Scheduling with Partially Known Personnel Availabilities

Johannes Varga, Günther Raidl, Rönnberg, Elina, Rodemann, Tobias

IPASIR-UP: User Propagators for CDCL

Katalin Fazekas, Aina Niemetz, Markus Kirchweger, Stefan Szeider, Armin Biere

Learning Small Decision Trees with Large Domain

Eduard Eiben, Sebastian Ordyniak, Giacomo Paesani, Stefan Szeider