Modern Cooperative Parallel SAT Solving

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

Toggle side column

Modern Cooperative Parallel SAT Solving

Ahmed IrfanAhmed Irfan,  Davide LantiDavide Lanti,  Norbert MantheyNorbert Manthey
Modern Cooperative Parallel SAT Solving


Ahmed Irfan, Davide Lanti, Norbert Manthey
Modern Cooperative Parallel SAT Solving
Pragmatics of SAT(POS'13), 2013
@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}
}