Improving Resource-Unaware SAT Solvers

S. HölldoblerS. Hölldobler, N. MatheyN. Mathey, A. SaptawijayaA. Saptawijaya

S. Hölldobler, N. Mathey, A. Saptawijaya
Improving Resource-Unaware SAT Solvers
In C. Fernmüller and A. Voronkov, eds., Logic for Programming, Artificial Intelligence, and Reasoning, LNCS, 519-534, 2010. Springer

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

The final publication is available at Springer.

@inproceedings{HMS2010,
  author    = {S. H{\"{o}}lldobler and N. Mathey and A. Saptawijaya},
  title     = {Improving Resource-Unaware {SAT} Solvers},
  editor    = {C. Fernm{\"{u}}ller and A. Voronkov},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning},
  series    = {LNCS},
  publisher = {Springer},
  year      = {2010},
  pages     = {519-534}
}