|
|
POS-13: Author Index| Author | Papers |
|---|
| A | | Aigner, Martin | Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures | | B | | Balint, Adrian | Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning | | Biere, Armin | Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures | | I | | Irfan, Ahmed | Modern Cooperative Parallel SAT Solving | | K | | Kirsch, Christoph | Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures | | L | | Lanti, Davide | Modern Cooperative Parallel SAT Solving | | M | | Manthey, Norbert | Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning
Modern Cooperative Parallel SAT Solving | | Mayer-Eichberger, Valentin | SAT Encodings for the Car Sequencing Problem | | N | | Niemetz, Aina | Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures | | P | | Preiner, Mathias | Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures | | W | | Walsh, Toby | SAT Encodings for the Car Sequencing Problem |
|
|
|
