Improving Resource-Unaware SAT Solvers

From International Center for Computational Logic

Toggle side column

Improving Resource-Unaware SAT Solvers

S. HölldoblerS. Hölldobler,  N. MatheyN. Mathey,  A. SaptawijayaA. Saptawijaya
Improving Resource-Unaware SAT Solvers


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