FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

B
Biere, Armin	Two flavors of DRAT (PDF, talk) The Effect of Scrambling CNFs (PDF, talk)
E
Ehlers, Thorsten	Tuning Parallel SAT Solvers (PDF, talk)
H
Heule, Marijn	The Effect of Scrambling CNFs (PDF, talk)
I
Iser, Markus	A Problem Meta-Data Library for Research in SAT (PDF, talk)
K
Karpiński, Michał	Competitive Sorter-based Encoding of PB-Constraints into SAT (PDF, talk)
L
Lennartz, Werner	CryptoMiniSat Parameter-Optimization for Solving Cryptographic Instances (PDF, talk)
Leventi-Peetz, Anastasia	CryptoMiniSat Parameter-Optimization for Solving Cryptographic Instances (PDF, talk)
N
Nowotka, Dirk	Tuning Parallel SAT Solvers (PDF, talk)
P
Piotrów, Marek	Competitive Sorter-based Encoding of PB-Constraints into SAT (PDF, talk)
R
Rebola Pardo, Adrian	Two flavors of DRAT (PDF, talk)
S
Sinz, Carsten	A Problem Meta-Data Library for Research in SAT (PDF, talk)
W
Weber, Kai	CryptoMiniSat Parameter-Optimization for Solving Cryptographic Instances (PDF, talk)
Z
Zendel, Oliver	CryptoMiniSat Parameter-Optimization for Solving Cryptographic Instances (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program