per-instance configured clasp


Although Boolean Constraint Technology has made tremendous progress over the last decade, leading to industrial strength applications in SAT and related areas such as ASP, PB, and even CP, it suffers from a great sensitivity to search configuration. One way to overcome this obstacle is the use of algorithm configuration. clasp can be configured with an algorithm configurator, e.g., ParamILS[1], SMAC[2] or GGA[3], to improve its performance on a given (preferably homogeneous) instance set.

piclasp allows to configure clasp with the help of SMAC. For more details, please see README.txt in the current release.


Used in Literature



Marius Lindauer