Towards Improving the Resource Usage of SAT-solvers

PublikationenPublications

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

Toggle side column

Towards Improving the Resource Usage of SAT-solvers

Norbert MantheyNorbert Manthey,  Ari SaptawijayaAri Saptawijaya

• Download

Norbert Manthey, Ari Saptawijaya
Towards Improving the Resource Usage of SAT-solvers
Pragmatics of SAT (POS), July 2010

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{MS2010,
  author    = {Norbert Manthey and Ari Saptawijaya},
  title     = {Towards Improving the Resource Usage of {SAT-solvers}},
  booktitle = {Pragmatics of {SAT} (POS)},
  year      = {2010},
  month     = {July}
}