|
|
POS-13: Author IndexAuthor | 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 |
|
|
|