POS-18: Keyword Index

Keyword	Papers
a
Automatic Algorithm Configuration	CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances
c
CNF	The Effect of Scrambling CNFs
comparator network	Competitive Sorter-based Encoding of PB-Constraints into SAT
competition	The Effect of Scrambling CNFs
Constraints Solver	Competitive Sorter-based Encoding of PB-Constraints into SAT
cryptographic CNF instances	CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances
d
DRAT proofs	Two flavors of DRAT
e
evaluation	The Effect of Scrambling CNFs
experiments	A Problem Meta-Data Library for Research in SAT
m
meta-data library	A Problem Meta-Data Library for Research in SAT
o
odd-even network	Competitive Sorter-based Encoding of PB-Constraints into SAT
p
parallel processing	Tuning Parallel SAT Solvers
parameter optimization	CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances
portfolio solver	Tuning Parallel SAT Solvers
problem fingerprinting	A Problem Meta-Data Library for Research in SAT
proof checking	Two flavors of DRAT
Pseudo-Boolean	Competitive Sorter-based Encoding of PB-Constraints into SAT
s
SAT	Competitive Sorter-based Encoding of PB-Constraints into SAT The Effect of Scrambling CNFs Tuning Parallel SAT Solvers
SAT solver	CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances
scrambling	The Effect of Scrambling CNFs
selection network	Competitive Sorter-based Encoding of PB-Constraints into SAT
u
Unsatisfiability proof generation	Two flavors of DRAT