Towards next generation sequential and parallel SAT solvers
Aus 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:Further Information: Link
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@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}
}