Benchmarks

• The benchmark set studied in the TPLP article "Boosting Answer Set Optimization with Weighted Comparator Networks" (authored by J. Bomanson and T. Janhunen).
• The benchmark set studied in the AAAI'19 paper "Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming" (authored by J. Bomanson, T. Janhunen, and A. Weinzierl).
• The benchmark set used in the LaSh'08 paper "Computing Stable Models via Reductions to Boolean Circuits and Difference Logic" (authored by T. Janhunen, I. Niemelä, and M. Sevalnev) to evaluate lp2bc and lp2smt.
• An example of benchmarks studied in E. Oikarinen and T. Janhunen, "Achieving Compositionality of the Stable Model Semantics for SMODELS programs".

Contact

For further inquiries about these benchmarks, please contact Tomi Janhunen.