|
|
POS-13. Pragmatics of SAT 20134 articles•54 pages•Published: July 28, 2014 PapersPages 1-14 | Pages 15-27 | Pages 28-40 | Pages 41-54 |
KeyphrasesAlgorithm Configuration, Application of SAT, Car Sequencing, clause sharing, cooperative parallelization, Decomposition into CNF, Iterative partitioning, look-ahead, Multi-Core SAT solving, parallel SAT solving2, SAT encodings, SAT preprocessing, SAT solving, satisfiability, Search Space Splitting |
|
|