Towards next generation sequential and parallel SAT solvers

PublikationenPublications

• Nach AutorBy Author
  • Norbert MantheyNorbert Manthey
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

Towards next generation sequential and parallel SAT solvers

Norbert MantheyNorbert Manthey

• ISSN: 1383-7133
• DOI Link

Norbert Manthey
Towards next generation sequential and parallel SAT solvers
Constraints, 1-2, September 2015

• Details
• Bibtex

• 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}
}