Configurable SAT Solver Challenge (CSSC) 2014

Participants

Industrial Track

Solver Submitter(s) Reference
clasp-3.0.4-p8 Martin Gebser, Benjamin Kaufmann and Torsten Schaub [3]
cryptominisat Mate Soos [8]
lingeling Armin Biere [2]
minisat-HACK-999ED-CSSC Chanseok Oh N/A
Riss-4.27 Norbert Manthey [7]
SparrowToRiss Adrian Balint and Norbert Manthey [1]

Crafted Track

Solver Submitter(s) Reference
clasp-3.0.4-p8 Martin Gebser, Benjamin Kaufmann and Torsten Schaub [3]
cryptominisat Mate Soos [8]
lingeling Armin Biere [2]
minisat-HACK-999ED-CSSC Chanseok Oh N/A
Riss-4.27 Norbert Manthey [7]
SparrowToRiss Adrian Balint and Norbert Manthey [1]
yalsat Armin Biere [2]

Random SAT+UNSAT Track

Solver Submitter(s) Reference
clasp-3.0.4-p8 Martin Gebser, Benjamin Kaufmann and Torsten Schaub [3]
DCCASat+march-rw Chuan Luo, Shaowei Cai, Wei Wu and Kaile Su [5]
minisat-HACK-999ED-CSSC Chanseok Oh N/A
Riss-4.27 Norbert Manthey [7]
SparrowToRiss Adrian Balint and Norbert Manthey [1]

Random SAT Track

Solver Submitter(s) Reference
clasp-3.0.4-p8 Martin Gebser, Benjamin Kaufmann and Torsten Schaub [3]
CSCCSat2014 Chuan Luo, Shaowei Cai, Wei Wu and Kaile Su [4,6]
minisat-HACK-999ED-CSSC Chanseok Oh N/A
probSAT Adrian Balint [1]
SparrowToRiss Adrian Balint and Norbert Manthey [1]
yalsat Armin Biere [2]

References

[1] Balint, A., Manthey, N., 2014. SparrowToRiss, in: Belov, A., Diepold, D., Heule, M., Järvisalo, M. (Eds.), Proceedings of SAT Competition 2014. To appear.

[2] Biere, A., 2014. Yet another local search solver and lingeling and friends entering the sat competition 2014, in: Belov, A., Diepold, D., Heule, M., Järvisalo, M. (Eds.), Proceedings of SAT Competition 2014. To appear.

[3] Gebser, M., Kaufmann, B., Schaub, T., 2012. Conflict-driven answer set solving: From theory to practice. Artificial Intelligence 187-188, 52–89.

[4] Luo, C., Cai, S., Wu, W., Su, K., 2013. Focused random walk with configuration checking and break minimum for satisfiability, in: Proceedings of the 2013 Conference on Constraint Programming (CP’13), pp. 481–496.

[5] Luo, C., Cai, S., Wu, W., Su, K., 2014a. Double configuration checking in stochastic local search for satisfiability, in: Proceeding of the 2014 Conference on Artificial Intelligence (AAAI’14), p. To appear.

[6] Luo, C., Cai, S., Wu, W., Su, K., 2014b. Double configuration checking in stochastic local search for satisfiability, in: Proceeding of the 2014 Conference on Artificial Intelligence (AAAI’14), p. To appear.

[7] Manthey, N., 2014. Riss 4.27, in: Belov, A., Diepold, D., Heule, M., Järvisalo, M. (Eds.), Proceedings of SAT Competition 2014. To appear.

[8] Soos, M., 2014. CryptoMiniSat v4, in: Belov, A., Diepold, D., Heule, M., Järvisalo, M. (Eds.), Proceedings of SAT Competition 2014. To appear.

Wrapper

Wrapper used at the 2014 CSSC