Towards next generation sequential and parallel SAT solvers
From International Center for Computational Logic
Towards next generation sequential and parallel SAT solvers
Norbert MantheyNorbert Manthey
Norbert Manthey
Towards next generation sequential and parallel SAT solvers
Constraints, 1-2, September 2015
Towards next generation sequential and parallel SAT solvers
Constraints, 1-2, September 2015
- Weitere Informationen unter:Other info: Link
- Forschungsgruppe:Research Group: Wissensverarbeitung
@article{M2015,
author = {Norbert Manthey},
title = {Towards next generation sequential and parallel {SAT} solvers},
journal = {Constraints},
publisher = {Springer {US}},
year = {2015},
month = {September},
pages = {1-2},
doi = {10.1007/s10601-015-9226-6}
}