A Problem Meta-Data Library for Research in SAT

9 pages•Published: March 15, 2019

Abstract

Experimental data and benchmarks play a crucial role in developing new algorithms and implementations of SAT solvers. Besides comparing and evaluating solvers, they provide the basis for all kinds of experiments, for setting up hypothesis and for testing them. Currently – even though some initiatives for setting up benchmark databases have been undertaken, and the SAT Competitions provide a “standardized” collection of instances – it is hard to assemble benchmark sets with prescribed properties. Moreover, the origin of SAT instances is often not clear, and benchmark collections might contain duplicates. In this paper we suggest an approach to store meta-data information about SAT instances, and present an implementation that is capable of collecting, assessing and distributing benchmark meta-data.

Keyphrases: experiments, meta data library, problem fingerprinting

In: Daniel Le Berre and Matti Järvisalo (editors). Proceedings of Pragmatics of SAT 2015 and 2018, vol 59, pages 144-152.

Links:	https://easychair.org/publications/paper/jQXv
	https://doi.org/10.29007/gdbb

BibTeX entry

@inproceedings{POS-18:Problem_Meta_Data_Library,
  author    = {Markus Iser and Carsten Sinz},
  title     = {A Problem Meta-Data Library for Research in SAT},
  booktitle = {Proceedings of Pragmatics of SAT 2015 and 2018},
  editor    = {Daniel Le Berre and Matti Järvisalo},
  series    = {EPiC Series in Computing},
  volume    = {59},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/jQXv},
  doi       = {10.29007/gdbb},
  pages     = {144-152},
  year      = {2019}}

Download PDF Open PDF in browser