Towards next generation sequential and parallel SAT solvers

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Towards next generation sequential and parallel SAT solvers

Norbert MantheyNorbert Manthey
Towards next generation sequential and parallel SAT solvers


Norbert Manthey
Towards next generation sequential and parallel SAT solvers
Constraints, 1-2, September 2015
@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}
}