POS-18: Volume Information

Proceedings of Pragmatics of SAT 2015 and 2018

Papers

Keyphrases

Automatic Algorithm Configuration, CNF, comparator network, competition, Constraints Solver, cryptographic CNF instances, DRAT proofs, evaluation, experiments, meta-data library, odd-even network, parallel processing, parameter optimization, portfolio solver, problem fingerprinting, proof checking, Pseudo-Boolean, SAT³, SAT solver, scrambling, selection network, Unsatisfiability proof generation.