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