FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

B
Bannach, Max	Structural Parameter Based Parallel Algorithms for Partially Weighted MaxSAT
C
Cailler, Julie	Goéland : A Concurrent Tableau-Based Theorem Prover
H
Heisinger, Max	Dealing With Uncertainty Between Peers and Having the Best of Times With Distributed Systems
I
Iser, Markus	Beyond Portfolios of Stable Solvers
L
Lammich, Peter	Isabelle LLVM Parallel
S
Soos, Mate	Leveraging GPUs for Parallel SAT Solving
W
Wijs, Anton	A Linear Parallel Algorithm to Compute Strong and Branching Bisimilarity

Disclaimer | Powered by EasyChair Smart Program