FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

A
Arrighi, Emmanuel	Kemeny Rank Aggregation: Width Measure and Diversity Notion
B
Bannach, Max	MaxSAT: Parameterized, Parallel, Absolute
D
Dvořák, Wolfgang	Tractable Abstract Argumentation via Backdoor-Treewidth
F
Fichte, Johannes K.	Parameterized Algorithmics and Counting: Treewidth in Practice
G
Gajarský, Jakup	Decompositions and algorithms for interpretations of sparse graphs
Gutin, Gregory	Parameterized algorithmics in access control: linking theory and practice
H
Hecher, Markus	Tractable Abstract Argumentation via Backdoor-Treewidth
K
König, Matthias	Tractable Abstract Argumentation via Backdoor-Treewidth
O
Ordyniak, Sebastian	Welcome and Introduction
Osipov, George	Resolving Inconsistency of Linear Equations
P
Paesani, Giacomo	Learning Small Decision Trees
S
Saurabh, Saket	TBA
Schidler, André	Tractable Abstract Argumentation via Backdoor-Treewidth
Shachnai, Hadas	Parameterized Approximations and CSPs
Slivovsky, Friedrich	Towards Tractable QSAT for Structural Parameters Below Treewidth
Szeider, Stefan	The Parameterized Complexity of SAT Tractable Abstract Argumentation via Backdoor-Treewidth
W
Woltran, Stefan	Tractable Abstract Argumentation via Backdoor-Treewidth
Z
Zehavi, Meirav	The Tournament Fixing Problem

Disclaimer | Powered by EasyChair Smart Program