Modern Cooperative Parallel SAT Solving

PublikationenPublications

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

Toggle side column

Modern Cooperative Parallel SAT Solving

Ahmed IrfanAhmed Irfan,  Davide LantiDavide Lanti,  Norbert MantheyNorbert Manthey

Ahmed Irfan, Davide Lanti, Norbert Manthey
Modern Cooperative Parallel SAT Solving
Pragmatics of SAT(POS'13), 2013

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{ILM2013,
  author    = {Ahmed Irfan and Davide Lanti and Norbert Manthey},
  title     = {Modern Cooperative Parallel {SAT} Solving},
  booktitle = {Pragmatics of {SAT(POS'13)}},
  year      = {2013}
}