POS-14: Volume InformationPOS-14. Fifth Pragmatics of SAT workshop9 articles•116 pages•Published: July 28, 2014 Papers
Keyphrasesabstraction, CDCL algorithm, clause sharing, CNF formulas, CNF partitioning, complexity analysis, distributed computing, Divide and Conquer, DQBF, DQDIMACS, EPR, feature extraction, Fiduccia-Mattheyses algorithm, Framework, hypergraph partitioning, Instantiation, machine learning, parallel satisfiability solver, QBF, SAT2, SAT competitions, SAT partitioning, SAT platform, SAT proofs, SAT solvers, SAT solving3, transition system, typical-case complexity, unsatisfiability proof. |