Abstract is missing.
- Quantum Graph-State Synthesis with SATSebastiaan Brand, Tim Coopmans, Alfons Laarman. 1-13 [doi]
- Prioritised Unit Propagation by Partitioning the Watch ListsBenjamin Kaiser, Robert Clausecker, Michael Mavroskoufis. 14-34 [doi]
- Enhancing State-of-the-Art Parallel SAT Solvers Through Optimized Sharing PoliciesVincent Vallade, Julien Sopena, Souheib Baarir. 35-45 [doi]
- An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problemsYoichiro Iida, Tomohiro Sonobe, Mary Inaba. 46-58 [doi]
- Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta DebuggingTobias Paxian, Armin Biere. 59-71 [doi]
- The SAT MuseumArmin Biere, Mathias Fleury, Nils Froleyks, Marijn J. H. Heule. 72-87 [doi]