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 |