Theory and Applications of Satisfiability Testing – SAT 2017
Springer International Publishing
Chapter title |
PaInleSS: A Framework for Parallel SAT Solving
|
---|---|
Chapter number | 15 |
Book title |
Theory and Applications of Satisfiability Testing – SAT 2017
|
Published by |
Springer, Cham, August 2017
|
DOI | 10.1007/978-3-319-66263-3_15 |
Book ISBNs |
978-3-31-966262-6, 978-3-31-966263-3
|
Authors |
Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon, Le Frioux, Ludovic, Baarir, Souheib, Sopena, Julien, Kordon, Fabrice |
Country | Count | As % |
---|---|---|
Unknown | 3 | 100% |
Readers by professional status | Count | As % |
---|---|---|
Student > Ph. D. Student | 1 | 33% |
Student > Doctoral Student | 1 | 33% |
Student > Master | 1 | 33% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 2 | 67% |
Engineering | 1 | 33% |