HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

POS-18: Author Index

AuthorPapers
B
Berg, JeremiasApplications of MaxSAT in Data Analysis
Biere, ArminEvaluating CDCL Restart Schemes
Two flavors of DRAT
The Effect of Scrambling CNFs
E
Ehlers, ThorstenTuning Parallel SAT Solvers
F
Fischmeister, SebastianPredicting SAT Solver Performance on Heterogeneous Hardware
Fröhlich, AndreasEvaluating CDCL Restart Schemes
G
Ganesh, VijayPredicting SAT Solver Performance on Heterogeneous Hardware
H
Heule, MarijnThe Effect of Scrambling CNFs
Hyttinen, AnttiApplications of MaxSAT in Data Analysis
I
Iser, MarkusA Problem Meta-Data Library for Research in SAT
J
Järvisalo, MattiApplications of MaxSAT in Data Analysis
K
Karpiński, MichałCompetitive Sorter-based Encoding of PB-Constraints into SAT
L
Lennartz, WernerCryptoMiniSat Switches-Optimization for Solving Cryptographic Instances
Leventi-Peetz, AnastasiaCryptoMiniSat Switches-Optimization for Solving Cryptographic Instances
M
Manthey, NorbertChecking Unsatisfiability Proofs in Parallel
N
Newsham, ZackPredicting SAT Solver Performance on Heterogeneous Hardware
Nowotka, DirkTuning Parallel SAT Solvers
P
Philipp, TobiasChecking Unsatisfiability Proofs in Parallel
Piotrów, MarekCompetitive Sorter-based Encoding of PB-Constraints into SAT
R
Rebola-Pardo, AdriánTwo flavors of DRAT
S
Sinz, CarstenA Problem Meta-Data Library for Research in SAT
W
Weber, KaiCryptoMiniSat Switches-Optimization for Solving Cryptographic Instances
Z
Zendel, OliverCryptoMiniSat Switches-Optimization for Solving Cryptographic Instances
Copyright © 2012-2025 easychair.org. All rights reserved.