4

F2Stories: A Modular Framework for Multi-Objective Optimization of Storylines with a Focus on Fairness

Tommaso Piselli, Giuseppe Liotta, Fabrizio Montecchiani, Martin Nöllenburg, Sara Di Bartolomeo

Improved Circuit Minimization with Exact Synthesis

Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider

Hardness and Optimality in QBF Proof Systems Modulo NP

Solving the Generalized Constrained Longest Common Subsequence Problem with Many Pattern Strings

Djukanovic, Marko, Kartelj Aleksandar, Matic, Dragan,, Grbic, Milana, Blum, Christian, Günther Raidl

Two new Mixed-Integer Linear Programming Models for Solving the Multidimensional Multi-Way Number Partitioning Problem

Bojan Nikolic, Marko Djukanovic, Dragan Matic

On the Parameterized Complexity of Clustering

Robert Ganian, Iyad Kanj, Stefan Szeider

A Lower Bound for the Smallest Uniquely Hamiltonian Planar Graph with Minimum Degree Three

Benedikt Klocker, Herbert Fleischner, Günther Raidl

A* Search for Prize-Collecting Job Sequencing with One Common and Multiple Secondary Resources

Matthias Horn, Günther Raidl, Elina Rönnberg

Finding Longest Common Subsequences: New A* Anytime Results

Marko Djukanovic, Günther Raidl, Christian Blum

Multivalued Decision Diagrams for Prize-Collecting Job Sequencing with One Common and Multiple Secondary Resources

Johannes Maschler, Günther Raidl