Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B C D F G H L M N R S T V W Y

A
Anastacio, Marie	Stochastic Constraint Optimisation with Applications in Network Analysis
B
Babaki, Behrouz	Stochastic Constraint Optimisation with Applications in Network Analysis
Bannach, Max	Extending Partially Directed Graphs and Determine the Size of their Markov Equivalence Class
Belle, Vaishak	Recursive Solutions to First-Order Model Counting
C
Chakraborty, Sourav	Designing Samplers is Easy: The Boon of Testers
D
Dilkas, Paulius	Generating Random Weighted Model Counting Instances: An Empirical Analysis with Varying Primal Treewidth Recursive Solutions to First-Order Model Counting
F
Fokkinga, Daniël	Stochastic Constraint Optimisation with Applications in Network Analysis
Fremont, Daniel J.	Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
G
Gittis, Andreas	Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
Golia, Priyanka	Designing Samplers is Easy: The Boon of Testers
H
Hoos, Holger	Stochastic Constraint Optimisation with Applications in Network Analysis
L
Lai, Yong	Scalable Uniform Sampling via Efficient Knowledge Compilation
Latour, Anna	Stochastic Constraint Optimisation with Applications in Network Analysis
M
Meel, Kuldeep S.	Scalable Uniform Sampling via Efficient Knowledge Compilation Designing Samplers is Easy: The Boon of Testers
Meier, Arne	Counting Complexity for Projected Reasoning in Abstract Argumentation
N
Nijssen, Siegfried	Stochastic Constraint Optimisation with Applications in Network Analysis
R
Rusovac, Dominik	Rushing and Strolling among Answer Sets - Navigation Made Easy
S
Slivovsky, Friedrich	A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth
Soos, Mate	Designing Samplers is Easy: The Boon of Testers
Szeider, Stefan	A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth
T
Tamaki, Hisao	Heuristic computation of exact treewidth - some improvements and more experimental evaluations
Teuber, Samuel	Quantifying Software Reliability via Model-Counting
V
Vin, Eric	Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
W
Weigl, Alexander	Quantifying Software Reliability via Model-Counting
Y
Yap, Roland	Scalable Uniform Sampling via Efficient Knowledge Compilation