ArgoCSPkNN - a portfolio for selecting CSP solver

16.12.2015. Short Portfolio Training for CSP Solving
11.04.2015. ArgoCSPkNN (v2.0) - (used in paper Short Portfolio Training for CSP Solving)
15.07.2014. paper: "Instance-based Selection of CSP Solvers using Short Training" (presented on Pragmatics of SAT 2014)
19.06.2014. Features used in ArgoCSPkNN
24.04.2014. ArgoCSPkNN (v1.1) - (used in Pragmatics of SAT presentation)
27.01.2014. ArgoCSPkNN (v1.0) - (used in Constraints paper)

meSAT: Multiple Encodings of CSP to SAT

02.07.2015. Source code of meSAT (v1.2)
24.04.2014. Preliminary version of: "meSAT: Multiple Encodings of CSP to SAT"
The final publication is available at Springer via http://dx.doi.org/10.1007/s10601-014-9165-7
14.03.2014. Source code of meSAT (v1.1)
01.03.2013. Source code of meSAT (v1.0)

meSAT uses Sugar input format

Instances used in paper: "meSAT: Multiple Encodings of CSP to SAT".